Topic · formal-verification

formal-verification

Tracked open-source repos tagged formal-verification, sorted by stars.

Repos

13

Total stars

16,360

Avg. stars

1,258

Share

0.00%

Topics that frequently appear alongside formal-verification on the same repo.

Recent risers

Repos created in the last 90 days, tagged formal-verification.

No new repos tagged with this topic in the last 90 days.

#1
P ↗@p-orgC#
The P programming language.
★ 3,673+3Star change over the last 7 days
#2
hacl-star ↗@hacl-starF*
HACL*, a formally verified cryptographic library written in F*
★ 1,836+0Star change over the last 7 days
#3
creusot ↗@creusot-rsRust
Creusot helps you prove your Rust code is correct.
★ 1,836+2Star change over the last 7 days
#4
prusti-dev ↗@viperprojectRust
A static verifier for Rust, based on the Viper verification infrastructure.
★ 1,809+2Star change over the last 7 days
#5
cakeml ↗@CakeMLStandard ML
CakeML: A Verified Implementation of ML
★ 1,190+2Star change over the last 7 days
#6
rocq-of-rust ↗@formal-landRocq Prover
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
★ 1,161+0Star change over the last 7 days
#7
aeneas ↗@AeneasVerifOCaml
A verification toolchain for Rust programs
★ 948+17Star change over the last 7 days
#8
magmide ↗@magmideRocq Prover
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
★ 835+0Star change over the last 7 days
#9
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 698+2Star change over the last 7 days
#10
emilia-protocol ↗@emiliaprotocolTypeScript
Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open protocol keeps evidence verifiable.
★ 649-29Star change over the last 7 days
#11
awesome-open-hardware-verification ↗@ben-marshall
A List of Free and Open Source Hardware Verification Tools and Frameworks
★ 622+1Star change over the last 7 days
#12
practical-fm ↗@ligurio
A gently curated list of companies using verification formal methods in industry
★ 610+1Star change over the last 7 days
#13
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Star change over the last 7 days

← Back to topics