Find and verify credentials
immudb - immutable database based on zero trust, SQL/Key-Value/Document ...
mocking library for Kotlin
Dafny is a verification-aware programming language
A Proof-oriented Programming Language
My own notes (drafts mostly) about software quality
TLC is a model checker for specifications written in TLA+. The TLA+Toolb...
Lean Theorem Prover
The OWASP MASVS (Mobile Application Security Verification Standard) is t...
Kani Rust Verifier
cocotb, a coroutine based cosimulation library for writing VHDL and Veri...
HACL*, a formally verified cryptographic library written in F*
A static verifier for Rust, based on the Viper verification infrastructure.
Liquid Types For Haskell
RISC-V CPU Core (RV32IM)