Find, verify, and analyze leaked credentials
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
mocking library for Kotlin
Dafny is a verification-aware programming language
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A Proof-oriented Programming Language
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
🖖 GoCaptcha: A high-performance, interactive behavior captcha library for Go. Supporting click, slide, drag-drop, and rotation modes to secure your applications with ease.
My own notes (drafts mostly) about software quality
Lean Theorem Prover
Creusot helps you prove your Rust code is correct.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
HACL*, a formally verified cryptographic library written in F*
A static verifier for Rust, based on the Viper verification infrastructure.
RISC-V CPU Core (RV32IM)
✅ A Go library for email verification without sending any emails.
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."