Topic · proof

proof

Tracked open-source repos tagged proof, sorted by stars.

Repos

8

Total stars

7,070

Avg. stars

884

Share

0.00%

Topics that frequently appear alongside proof on the same repo.

Recent risers

Repos created in the last 90 days, tagged proof.

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

#1
creusot ↗@creusot-rsRust
Creusot helps you prove your Rust code is correct.
★ 1,834+4Star change over the last 7 days
#2
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+3Star change over the last 7 days
#3
cryptominisat ↗@msoosC++
An advanced SAT solver
★ 940+1Star change over the last 7 days
#4
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 696+5Star change over the last 7 days
#5
agda-stdlib ↗@agdaAgda
The Agda standard library
★ 675+0Star change over the last 7 days
#6
l4v ↗@seL4Isabelle
seL4 specification and proofs
★ 633+3Star change over the last 7 days
#7
verdi ↗@uwplseRocq Prover
A framework for formally verifying distributed systems implementations in Coq
★ 625+0Star change over the last 7 days
#8
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 507+0Star change over the last 7 days

← Back to topics