Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with verification

A curated list of projects in awesome lists tagged with verification .

https://github.com/codenotary/immudb

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

auditable compliance cryptographic database gdpr go immutable immutable-database key-value merkle-tree pci-dss performance sql tamper-evident tamperproof timetravel verification verify zero-trust

Last synced: 12 May 2025

https://github.com/dafny-lang/dafny

Dafny is a verification-aware programming language

programming-language verification

Last synced: 11 May 2025

https://github.com/Microsoft/dafny

Dafny is a verification-aware programming language

programming-language verification

Last synced: 02 Apr 2025

https://github.com/tlaplus/tlaplus

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

algorithms high-performance java mit-license model-checking specifications tla verification

Last synced: 03 Jul 2026

https://model-checking.github.io/kani/

Kani Rust Verifier

model-checking rust verification

Last synced: 16 Jul 2025

https://github.com/model-checking/kani

Kani Rust Verifier

model-checking rust verification

Last synced: 12 May 2025

https://github.com/OWASP/masvs

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

android-app audit gitbook ios-app mastg masvs mobile mstg owasp penetration-testing penetration-tests security security-audit security-standards standard verification

Last synced: 18 Jul 2025

https://github.com/OWASP/owasp-masvs

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

android-app audit gitbook ios-app mastg masvs mobile mstg owasp penetration-testing penetration-tests security security-audit security-standards standard verification

Last synced: 26 Mar 2025

https://github.com/cocotb/cocotb

cocotb: Python-based chip (RTL) verification

python test uvm verification verilog vhdl

Last synced: 12 May 2025

https://github.com/viperproject/prusti-dev

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

formal-verification rust verification viper

Last synced: 13 May 2025

https://github.com/quint-co/quint

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

apalache formal-methods language quint specification specification-language tlaplus verification

Last synced: 02 Jun 2026

https://github.com/aftership/email-verifier

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

disposable email go smtp validation verification verifier

Last synced: 15 May 2025

https://github.com/creusot-rs/creusot

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

deductive-reasoning formal-methods formal-verification proof rust rust-lang verification why3

Last synced: 29 Apr 2025

https://github.com/AfterShip/email-verifier

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

disposable email go smtp validation verification verifier

Last synced: 14 Mar 2025

https://github.com/typetools/checker-framework

Pluggable type-checking for Java

java types verification

Last synced: 02 Feb 2026

https://github.com/gookit/validate

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

filter govalidator validate validation validator verification

Last synced: 14 May 2025

https://github.com/trumail/trumail

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

api docker email golang validation verification

Last synced: 29 Sep 2025

https://github.com/argotorg/sourcify

Source code verification service for Ethereum smart contracts

ethereum smart-contracts solidity source-code-verification verification vyper

Last synced: 06 May 2026

https://github.com/informalsystems/quint

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

apalache formal-methods language quint specification tlaplus verification

Last synced: 27 Feb 2026

https://github.com/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

android catcher confirmation sms verification

Last synced: 13 Apr 2025

https://github.com/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

android catcher confirmation sms verification

Last synced: 04 May 2025

https://github.com/magmide/magmide

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

coq dependent-types formal-methods formal-verification logic systems-programming type-safety verification

Last synced: 08 Oct 2025

https://github.com/tkko/flutter_pinput

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

android-autofill autofill code flutter flutter-package flutter-pin-code flutter-widget ios-autofill otp phone-verification pin pincode sms smsautofill smsretrieverapi smsuserconsentapi verification verification-code

Last synced: 14 May 2025

https://github.com/Tkko/Flutter_Pinput

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

android-autofill autofill code flutter flutter-package flutter-pin-code flutter-widget ios-autofill otp phone-verification pin pincode sms smsautofill smsretrieverapi smsuserconsentapi verification verification-code

Last synced: 03 Apr 2025

https://github.com/VUnit/vunit

VUnit is a unit testing framework for VHDL/SystemVerilog

asic fpga systemverilog-hdl testbench unit-testing universal-verification-methodology verification verilog-hdl vhdl

Last synced: 18 Apr 2025

https://github.com/dalek-cryptography/ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

cryptography curve25519 ed25519 rust signing verification

Last synced: 10 Jun 2025

https://github.com/uwdb/cosette

Cosette is an automated SQL solver.

coq database rosette sql verification

Last synced: 15 May 2025

https://github.com/uwdb/Cosette

Cosette is an automated SQL solver.

coq database rosette sql verification

Last synced: 09 May 2025

https://github.com/sarsko/CreuSAT

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

automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification

Last synced: 09 May 2025

https://github.com/pysmt/pysmt

pySMT: A library for SMT formulae manipulation and solving

constraints formula python python-3 satisfiability-modulo-theories smt verification

Last synced: 15 May 2025

https://github.com/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

altera asic fpga hardware-designs hardware-libraries hardware-modules lattice osvvm poc-library python regression-testing simulation synthesis testbenches uvvm verification vhdl vlsi vunit xilinx

Last synced: 22 Apr 2025

https://github.com/openhwgroup/core-v-verif

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

risc-v systemverilog uvm verification

Last synced: 15 May 2025

https://github.com/apalache-mc/apalache

APALACHE: symbolic model checker for TLA+ and Quint

apalache model-checking quint smt tla tlaplus verification

Last synced: 04 Mar 2026

https://github.com/stp/stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

cnf cryptography sat-solver smt symbolic-execution verification

Last synced: 09 Jul 2025

https://github.com/in-toto/witness

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

attestation security security-tools supply-chain verification

Last synced: 15 May 2025

https://github.com/smackers/smack

SMACK Software Verifier and Verification Toolchain

c c-plus-plus llvm rust smt verification verification-toolchain verifier

Last synced: 15 May 2025

https://github.com/fstarlang/karamel

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

c-language cryptography f-star proofs verification

Last synced: 15 May 2025

https://github.com/epfl-lara/stainless

Verification framework and tool for higher-order Scala programs

cvc4 cvc5 formal-methods inox model-checking proof-assistant scala smt verification z3

Last synced: 02 Feb 2026

https://github.com/dselsam/certigrad

Bug-free machine learning on stochastic computation graphs

lean machine-learning theorem-proving verification

Last synced: 14 Mar 2025

https://github.com/intel/rohd

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

framework hardware hardware-design hardware-verification hdl rtl simulator verification

Last synced: 27 Dec 2025

https://github.com/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. 体验更友好的拼图验证控件

animation custom-puzzle-shape ios objective-c puzzle ui verification

Last synced: 07 Apr 2025

https://github.com/watscho/express-graphql-mongodb-boilerplate

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

api authentication authorization boilerplate compose docker docker-compose express graphql graphql-compose mongodb mongoose multi-language node nodejs redis scratch token token-blacklisting verification

Last synced: 10 Jul 2025

https://github.com/tokusumi/fastapi-cloudauth

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

auth0 aws-cognito fastapi fastapi-cloudauth firebase-authentication python verification

Last synced: 12 Apr 2025

https://github.com/diem/move

Home of the Move programming language

blockchain smart-contracts verification

Last synced: 08 Apr 2025

https://github.com/staticafi/symbiotic

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

instrumentation klee llvm llvm-ir program-slicing program-verification slice slicing software-verification symbolic-execution verification verification-toolchain

Last synced: 13 Mar 2026

https://github.com/tymonx/logic

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

asic cmake cpp fpga hdl modelsim quartus rtl systemc systemverilog testing-rtl unit-tests uvm verification verilator verilog vivado xilinx

Last synced: 14 Apr 2025

https://github.com/project-oak/rust-verification-tools

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

fuzzing klee proptest rust seahorn verification

Last synced: 22 Apr 2025

https://project-oak.github.io/rust-verification-tools/

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

fuzzing klee proptest rust seahorn verification

Last synced: 09 May 2025

https://github.com/jeremykenedy/laravel2step

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.

2-step 2-step-verification laravel-verification verification

Last synced: 12 Apr 2025

https://github.com/storozhukBM/verifier

Package verifier provides simple defensive programing primitives.

defensive-programing error-handling golang verification

Last synced: 10 Jul 2025

https://github.com/storozhukbm/verifier

Package verifier provides simple defensive programing primitives.

defensive-programing error-handling golang verification

Last synced: 10 Apr 2025

https://github.com/dpretet/async_fifo

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

asic asic-design async cdc cross-clock-domain fifo fifo-cache fifo-queue fpga hdl icarus-verilog synthesis verification verilator verilog verilog-hdl

Last synced: 12 Jan 2026

https://github.com/leventerkok/sbv

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

haskell smt verification

Last synced: 15 May 2025

https://github.com/zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

blockchain ocaml scilla smart-contracts verification zilliqa

Last synced: 16 May 2025

https://github.com/Zilliqa/scilla

Scilla - A Smart Contract Intermediate Level Language

blockchain ocaml scilla smart-contracts verification zilliqa

Last synced: 09 May 2025

https://github.com/seahorn/crab

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

abstract-interpretation invariants program-analysis static-analysis verification

Last synced: 16 May 2025

https://github.com/OSVVM/OSVVM

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

alerts constrained-random coverage coverage-bins memory memory-model methodology osvvm osvvm-blog scoreboard simulation testbench transaction-interfaces verification verification-methodologies vhdl

Last synced: 12 May 2025

https://github.com/xarray-contrib/xskillscore

Metrics for verifying forecasts

forecasting metrics pangeo verification

Last synced: 15 May 2025

https://github.com/ucb-bar/chiseltest

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

chisel formal testing verification

Last synced: 22 Apr 2025

https://github.com/sosy-lab/cpachecker

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

c java software-verification static-analysis verification

Last synced: 12 Jan 2026

https://github.com/lukaszcz/coqhammer

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

automation coq dependent-types hammer proof-search theorem-prover verification

Last synced: 12 Apr 2025

https://github.com/nunoplopes/alive

Alive: Automatic LLVM's Instcombine Verifier

llvm verification

Last synced: 09 Apr 2025

https://github.com/kodie/md5-file

return an md5sum of a given file

checksum integrity md5sum verification

Last synced: 07 May 2025

https://github.com/vonage/vonage-python-sdk

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

meetings messaging messenger nexmo phone python sdk server-sdk silent-authentication sms text-message two-factor-authentication verification verification-code video voice vonage whatsapp

Last synced: 14 May 2025