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+.

Kani Rust Verifier

My own notes (drafts mostly) about software quality

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