Find, verify, and analyze leaked credentials

• UpdatedMar 26, 2025
• Go

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

• UpdatedMar 25, 2025
• Go

mocking library for Kotlin

• UpdatedMar 24, 2025
• Kotlin

Dafny is a verification-aware programming language

• UpdatedMar 26, 2025
• C#

A Proof-oriented Programming Language

• UpdatedMar 26, 2025
• F*

Kani Rust Verifier

• UpdatedMar 26, 2025
• Rust

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

• UpdatedMar 20, 2025
• Java

My own notes (drafts mostly) about software quality

• UpdatedFeb 1, 2023

Lean Theorem Prover

• UpdatedOct 14, 2023
• C++

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

• UpdatedSep 4, 2024
• Python

cocotb: Python-based chip (RTL) verification

• UpdatedMar 26, 2025
• Python

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

• UpdatedMar 25, 2025
• F*

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

• UpdatedMar 21, 2025
• Rust

RISC-V CPU Core (RV32IM)

• UpdatedSep 18, 2021
• Verilog

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

• UpdatedMar 6, 2025
• Go

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

• UpdatedMar 26, 2025
• Rust

Liquid Types For Haskell

• UpdatedMar 22, 2025
• Haskell

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

• UpdatedMar 25, 2025
• Go

Pluggable type-checking for Java

• UpdatedMar 26, 2025
• Java

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

• UpdatedJun 15, 2018
• Go