verification

Find and verify credentials

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

mocking library for Kotlin

A Proof-oriented Programming Language

My own notes (drafts mostly) about software quality

Lean Theorem Prover

Dafny is a verification-aware programming language

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

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.

Kani Rust Verifier

Liquid Types For Haskell

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

Pluggable type-checking for Java

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

✅ A Go library for email verification without sending any emails.

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

RISC-V CPU Core (RV32IM)