The open-source library for

formally verified code

Filter by Clear all

Certified

Featured

Initial

Submitted

Processing

Approved

Rejected

Dafny

Lean

Rust

Verus

Aeneas

Rocq

Isabelle

Metamath

RefinedC

Python

Kani

Algorithms

Blockchain

Privacy

Security

Math

Showing 1793–1793 of 1,793

Sort by

Rust

Dafny Verified ✓

Summary: Testing | small boxes

Repo: https://github.com/signalapp/libsignal/tree/main/rust

TH @thinnunu2 622 files Jun 17, 2026 ID: 2843

Per page

The open-source library for formally verified code. Building trust through mathematical proof.

Useful Links