verification

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

mocking library for Kotlin

A Proof-oriented Programming Language

Software Quality Wiki

Lean Theorem Prover

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

Dafny is a verification-aware programming language

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

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

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

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

Liquid Types For Haskell

📧 ✅ A Fast and Free Email Verification API written in Go

Pluggable type-checking for Java

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

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

Kani Rust Verifier

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

RISC-V CPU Core (RV32IM)

An advanced SAT solver