verification | Topic | Ecosyste.ms: Repos

Topic: "verification"

trufflesecurity/trufflehog

Find, verify, and analyze leaked credentials

Language: Go - Size: 43.8 MB - Last synced at: 3 days ago - Pushed at: 6 days ago - Stars: 24,004 - Forks: 2,177

codenotary/immudb

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

Language: Go - Size: 38.2 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 8,856 - Forks: 357

mockk/mockk

mocking library for Kotlin

Language: Kotlin - Size: 14.5 MB - Last synced at: 16 days ago - Pushed at: 18 days ago - Stars: 5,692 - Forks: 391

dafny-lang/dafny

Dafny is a verification-aware programming language

Language: C# - Size: 314 MB - Last synced at: about 23 hours ago - Pushed at: 26 days ago - Stars: 3,253 - Forks: 295

FStarLang/FStar

A Proof-oriented Programming Language

Language: F* - Size: 757 MB - Last synced at: 13 days ago - Pushed at: 19 days ago - Stars: 2,941 - Forks: 247

model-checking/kani

Kani Rust Verifier

Language: Rust - Size: 33.7 MB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 2,824 - Forks: 134

tlaplus/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language: Java - Size: 145 MB - Last synced at: 17 days ago - Pushed at: 19 days ago - Stars: 2,567 - Forks: 229

ligurio/sqa-wiki

My own notes (drafts mostly) about software quality

Size: 392 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 2,303 - Forks: 406

OWASP/masvs

The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.

Language: Python - Size: 110 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 2,249 - Forks: 555

cocotb/cocotb

cocotb: Python-based chip (RTL) verification

Language: Python - Size: 9.95 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 2,199 - Forks: 597

leanprover/lean3 📦

Lean Theorem Prover

Language: C++ - Size: 50.3 MB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 2,152 - Forks: 225

ThanhNguyxn/SheerID-Verification-Tool

A lightweight tool for integrating and testing SheerID verification workflows. It simplifies API requests, handles responses, and supports eligibility checks for programs like student.

Language: Python - Size: 15.3 MB - Last synced at: about 20 hours ago - Pushed at: 1 day ago - Stars: 2,012 - Forks: 288

hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*

Language: F* - Size: 580 MB - Last synced at: 19 days ago - Pushed at: 2 months ago - Stars: 1,804 - Forks: 182

viperproject/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language: Rust - Size: 1.26 GB - Last synced at: 29 days ago - Pushed at: about 2 months ago - Stars: 1,716 - Forks: 120

AfterShip/email-verifier

:white_check_mark: A Go library for email verification without sending any emails.

Language: Go - Size: 588 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1,473 - Forks: 208

ultraembedded/riscv

RISC-V CPU Core (RV32IM)

Language: Verilog - Size: 5.27 MB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 1,398 - Forks: 251

creusot-rs/creusot

Creusot helps you prove your code is correct in an automated fashion.

Language: Rust - Size: 86.6 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 1,374 - Forks: 62

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Language: Haskell - Size: 58.4 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 1,278 - Forks: 151

typetools/checker-framework

Pluggable type-checking for Java

Language: Java - Size: 229 MB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 1,119 - Forks: 429

gookit/validate

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Language: Go - Size: 894 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1,115 - Forks: 124

informalsystems/quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language: TypeScript - Size: 81.6 MB - Last synced at: 5 days ago - Pushed at: 14 days ago - Stars: 1,113 - Forks: 105

trumail/trumail 📦

:email: :white_check_mark: A Fast and Free Email Verification API written in Go

Language: Go - Size: 230 KB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 1,045 - Forks: 232

AliveToolkit/alive2

Automatic verification of LLVM optimizations

Language: C++ - Size: 6.24 MB - Last synced at: about 6 hours ago - Pushed at: 5 days ago - Stars: 1,022 - Forks: 132

hughperkins/VeriGPU

OpenSource GPU, in Verilog, loosely based on RISC-V ISA

Language: SystemVerilog - Size: 6.76 MB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 961 - Forks: 109

msoos/cryptominisat

An advanced SAT solver

Language: C++ - Size: 58.3 MB - Last synced at: about 4 hours ago - Pushed at: 5 days ago - Stars: 906 - Forks: 198

argotorg/sourcify

Source code verification service for Ethereum smart contracts

Language: TypeScript - Size: 36.6 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 892 - Forks: 504

stfalcon-studio/SmsVerifyCatcher

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

Language: Java - Size: 127 KB - Last synced at: 8 months ago - Pushed at: almost 5 years ago - Stars: 850 - Forks: 183

Tkko/Flutter_Pinput

Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill

Language: Dart - Size: 7.72 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 834 - Forks: 208

magmide/magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language: Coq - Size: 38.5 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 830 - Forks: 14

furkansenharputlu/f-license

Open Source License Key Generation and Verification Tool written in Go

Language: Go - Size: 10.6 MB - Last synced at: 8 months ago - Pushed at: almost 2 years ago - Stars: 811 - Forks: 77

VUnit/vunit

VUnit is a unit testing framework for VHDL/SystemVerilog

Language: VHDL - Size: 14.1 MB - Last synced at: 17 days ago - Pushed at: 20 days ago - Stars: 805 - Forks: 286

pact-foundation/pact_broker

Enables your consumer driven contracts workflow

Language: Ruby - Size: 11.9 MB - Last synced at: 12 days ago - Pushed at: 14 days ago - Stars: 736 - Forks: 187

dalek-cryptography/ed25519-dalek

ARCHIVED/MOVED: please visit the new location

Language: Rust - Size: 876 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 707 - Forks: 238

uwdb/Cosette

Cosette is an automated SQL solver.

Language: Lean - Size: 5.56 MB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 677 - Forks: 56

soupslurpr/AppVerifier

Verify apps easily.

Language: Kotlin - Size: 450 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 671 - Forks: 32

watscho/express-mongodb-rest-api-boilerplate

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript

Language: TypeScript - Size: 479 KB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 647 - Forks: 88

sarsko/CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language: Rust - Size: 169 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 637 - Forks: 12

openhwgroup/core-v-verif

Functional verification project for the CORE-V family of RISC-V cores.

Language: Assembly - Size: 112 MB - Last synced at: 16 days ago - Pushed at: 19 days ago - Stars: 630 - Forks: 260

pysmt/pysmt

pySMT: A library for SMT formulae manipulation and solving

Language: Python - Size: 5.66 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 615 - Forks: 139

VLSI-EDA/PoC

IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany

Language: VHDL - Size: 4.96 MB - Last synced at: 9 months ago - Pushed at: about 5 years ago - Stars: 577 - Forks: 103

ben-marshall/awesome-open-hardware-verification

A List of Free and Open Source Hardware Verification Tools and Frameworks

Size: 166 KB - Last synced at: 12 days ago - Pushed at: over 2 years ago - Stars: 576 - Forks: 54

stp/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Language: C++ - Size: 33.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 550 - Forks: 143

simonepri/upash

🔒Unified API for password hashing algorithms

Language: JavaScript - Size: 500 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 542 - Forks: 24

apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language: Scala - Size: 63.1 MB - Last synced at: 7 days ago - Pushed at: 27 days ago - Stars: 512 - Forks: 44

in-toto/witness

Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.

Language: Go - Size: 15.8 MB - Last synced at: 2 days ago - Pushed at: 9 days ago - Stars: 511 - Forks: 74

FStarLang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Language: OCaml - Size: 12.5 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 488 - Forks: 70

PrincetonUniversity/VST

Verified Software Toolchain

Language: Rocq Prover - Size: 76.5 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 476 - Forks: 96

seahorn/seahorn

SeaHorn Verification Framework

Language: C - Size: 7.46 MB - Last synced at: 11 days ago - Pushed at: 7 months ago - Stars: 468 - Forks: 130

intel/rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

Language: Dart - Size: 27.8 MB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 459 - Forks: 78

smackers/smack

SMACK Software Verifier and Verification Toolchain

Language: C - Size: 7.67 MB - Last synced at: 8 months ago - Pushed at: 9 months ago - Stars: 441 - Forks: 83

tlaplus/vscode-tlaplus

TLA+ language support for Visual Studio Code

Language: TypeScript - Size: 31 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 400 - Forks: 44

epfl-lara/stainless

Verification framework and tool for higher-order Scala programs

Language: Scala - Size: 166 MB - Last synced at: 13 days ago - Pushed at: 15 days ago - Stars: 390 - Forks: 57

dselsam/certigrad

Bug-free machine learning on stochastic computation graphs

Language: Lean - Size: 289 KB - Last synced at: 10 months ago - Pushed at: almost 7 years ago - Stars: 390 - Forks: 35

johnyf/tool_lists

Links to tools by subject

Size: 63.5 KB - Last synced at: 7 months ago - Pushed at: almost 2 years ago - Stars: 375 - Forks: 83

diem/move

Home of the Move programming language

Language: Rust - Size: 108 MB - Last synced at: 29 days ago - Pushed at: over 2 years ago - Stars: 375 - Forks: 141

zekunyan/TTGPuzzleVerify

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

Language: Objective-C - Size: 4.2 MB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 360 - Forks: 62

tokusumi/fastapi-cloudauth

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Language: Python - Size: 154 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 350 - Forks: 37

dpretet/async_fifo

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Language: Verilog - Size: 1.01 MB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 349 - Forks: 83

watscho/express-graphql-mongodb-boilerplate

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

Language: JavaScript - Size: 172 KB - Last synced at: 6 months ago - Pushed at: about 5 years ago - Stars: 349 - Forks: 60

Sanix-Darker/AntiDDOS-system

🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!

Language: PHP - Size: 509 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 345 - Forks: 116

parapluu/Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

Language: Erlang - Size: 10.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 338 - Forks: 43

staticafi/symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Language: Python - Size: 1.98 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 331 - Forks: 59

troyguo/awesome-dv

Awesome ASIC design verification

Size: 18.6 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 330 - Forks: 77

bark-simulator/bark

Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving

Language: C++ - Size: 13.3 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 305 - Forks: 72

Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.

Language: PHP - Size: 85.9 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 284 - Forks: 48

namin/llm-verified-with-monte-carlo-tree-search

LLM verified with Monte Carlo Tree Search

Language: Jupyter Notebook - Size: 42.4 MB - Last synced at: 3 months ago - Pushed at: 9 months ago - Stars: 281 - Forks: 30

googlesamples/android-play-safetynet 📦

Samples for the Google SafetyNet Attestation API

Language: Java - Size: 399 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 281 - Forks: 132

project-oak/rust-verification-tools 📦

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Language: Rust - Size: 2.92 MB - Last synced at: 5 days ago - Pushed at: almost 4 years ago - Stars: 276 - Forks: 37

tymonx/logic

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

Language: SystemVerilog - Size: 820 KB - Last synced at: 9 months ago - Pushed at: about 6 years ago - Stars: 275 - Forks: 60

86maid/ddddocr

ddddocr rust 版本，ocr_api_server rust 版本，二进制版本，验证码识别，不依赖 opencv 库，跨平台运行，AI MCP 支持，a simple OCR API server, very easy to deploy。

Language: Rust - Size: 71.8 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 270 - Forks: 47

storozhukBM/verifier

Package verifier provides simple defensive programing primitives.

Language: Go - Size: 37.1 KB - Last synced at: 6 months ago - Pushed at: almost 6 years ago - Stars: 267 - Forks: 6

LeventErkok/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Language: Haskell - Size: 19.2 MB - Last synced at: 12 days ago - Pushed at: 14 days ago - Stars: 264 - Forks: 44

andreaswilli/react-verification-input

🙆🏼 Customizable, masked input for React.

Language: JavaScript - Size: 1.71 MB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 257 - Forks: 28

OSVVM/OSVVM

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Language: VHDL - Size: 18.7 MB - Last synced at: 15 days ago - Pushed at: 17 days ago - Stars: 252 - Forks: 72

sosy-lab/cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language: Java - Size: 894 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 251 - Forks: 91

Zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

Language: OCaml - Size: 12.5 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 249 - Forks: 77

flintlang/flint

The Flint Programming Language for Smart Contracts

Language: Swift - Size: 46 MB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 249 - Forks: 18

SiEPIC/SiEPIC_EBeam_PDK

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Language: Logos - Size: 341 MB - Last synced at: 23 days ago - Pushed at: 3 months ago - Stars: 244 - Forks: 171

BrightID/BrightID

Reference mobile app for BrightID

Language: TypeScript - Size: 68.6 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 242 - Forks: 73

seahorn/crab

A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

Language: C++ - Size: 6.79 MB - Last synced at: 7 months ago - Pushed at: about 1 year ago - Stars: 241 - Forks: 32

xarray-contrib/xskillscore

Metrics for verifying forecasts

Language: Python - Size: 2.37 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 237 - Forks: 43

ucb-bar/chiseltest 📦

The batteries-included testing and formal verification library for Chisel-based RTL designs.

Language: Scala - Size: 1.41 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 232 - Forks: 75

lukaszcz/coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

Language: OCaml - Size: 2.56 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 231 - Forks: 34

Whiley/WhileyCompiler

The Whiley Compiler (WyC)

Language: Java - Size: 43.5 MB - Last synced at: 6 months ago - Pushed at: almost 3 years ago - Stars: 222 - Forks: 36

nunoplopes/alive

Alive: Automatic LLVM's Instcombine Verifier

Language: Python - Size: 1.21 MB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 220 - Forks: 22

transitive-bullshit/sms-number-verifier

Allows you to spoof SMS number verification.

Language: JavaScript - Size: 146 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 219 - Forks: 35

kodie/md5-file

return an md5sum of a given file

Language: JavaScript - Size: 59.6 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 214 - Forks: 20

mit-pdos/perennial

Verifying concurrent storage and distributed systems

Language: Rocq Prover - Size: 30.3 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 210 - Forks: 45

Vonage/vonage-python-sdk

Vonage Server SDK for Python. API support for Voice, SMS, WhatsApp, Verify (2FA), Video Meetings and more.

Language: Python - Size: 1.2 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 210 - Forks: 122

JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 21.3 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 207 - Forks: 17

MrXujiang/react-slider-vertify

基于react实现的滑动验证码组件

Language: JavaScript - Size: 70.3 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 199 - Forks: 48

nci/scores

scores: Metrics for the verification, evaluation and optimisation of forecasts, predictions or models.

Language: Jupyter Notebook - Size: 18.1 MB - Last synced at: 1 day ago - Pushed at: 27 days ago - Stars: 197 - Forks: 41

sosy-lab/sv-benchmarks 📦

Collection of Verification Tasks (MOVED, please follow the link)

Size: 3.45 GB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 186 - Forks: 168