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

A Proof-oriented Programming Language

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

My own notes (drafts mostly) about software quality

Kani Rust Verifier

Lean Theorem Prover

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

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

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.

Liquid Types For Haskell

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

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

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

Pluggable type-checking for Java