verification
Here are 1,953 public repositories matching this topic...
Language:All
Sort:Most stars
Find, verify, and analyze leaked credentials
- Updated
Feb 20, 2026 - Go
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
- Updated
Feb 12, 2026 - Go
mocking library for Kotlin
- Updated
Feb 15, 2026 - Kotlin
Dafny is a verification-aware programming language
- Updated
Feb 18, 2026 - C#
A Proof-oriented Programming Language
- Updated
Feb 18, 2026 - F*
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- Updated
Feb 20, 2026 - Java
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
- Updated
Dec 22, 2025 - Python
My own notes (drafts mostly) about software quality
- Updated
Feb 1, 2023
Lean Theorem Prover
- Updated
Oct 14, 2023 - C++
HACL*, a formally verified cryptographic library written in F*
- Updated
Oct 26, 2025 - F*
A static verifier for Rust, based on the Viper verification infrastructure.
- Updated
Feb 2, 2026 - Rust
RISC-V CPU Core (RV32IM)
- Updated
Sep 18, 2021 - Verilog
✅ A Go library for email verification without sending any emails.
- Updated
Feb 10, 2026 - Go
Creusot helps you prove your code is correct in an automated fashion.
- Updated
Feb 20, 2026 - Rust
OpenSource GPU, in Verilog, loosely based on RISC-V ISA
- Updated
Nov 22, 2024 - SystemVerilog
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- Updated
Feb 20, 2026 - TypeScript
Improve this page
Add a description, image, and links to theverification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theverification topic, visit your repo's landing page and select "manage topics."