Find, verify, and analyze leaked credentials

• UpdatedDec 17, 2025
• Go

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

• UpdatedOct 31, 2025
• Go

mocking library for Kotlin

• UpdatedDec 16, 2025
• Kotlin

Dafny is a verification-aware programming language

• UpdatedDec 12, 2025
• C#

A Proof-oriented Programming Language

• UpdatedDec 17, 2025
• F*

Kani Rust Verifier

• UpdatedDec 15, 2025
• Rust

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

• UpdatedDec 17, 2025
• Java

My own notes (drafts mostly) about software quality

• UpdatedFeb 1, 2023

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

• UpdatedSep 26, 2025
• Python

cocotb: Python-based chip (RTL) verification

• UpdatedDec 16, 2025
• Python

Lean Theorem Prover

• UpdatedOct 14, 2023
• C++

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

• UpdatedOct 26, 2025
• F*

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

• UpdatedNov 10, 2025
• Rust

RISC-V CPU Core (RV32IM)

• UpdatedSep 18, 2021
• Verilog

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

• UpdatedDec 9, 2025
• Go

A lightweight tool for integrating and testing SheerID verification workflows. It simplifies API requests, handles responses, and supports eligibility checks for programs like student.

• UpdatedDec 17, 2025
• JavaScript

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

• UpdatedDec 17, 2025
• Rust

Liquid Types For Haskell

• UpdatedDec 17, 2025
• Haskell

OpenSource GPU, in Verilog, loosely based on RISC-V ISA

• UpdatedNov 22, 2024
• SystemVerilog

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

• UpdatedNov 24, 2025
• Go