Topic · formal-methods

formal-methods

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

Repos

10

Total stars

21,663

Avg. stars

2,166

Share

0.00%

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

Recent risers

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

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

#1
sled ↗@spacejamRust
the champagne of beta embedded databases
★ 9,080+1Star change over the last 7 days
#2
P ↗@p-orgC#
The P programming language.
★ 3,673+3Star change over the last 7 days
#3
hacl-star ↗@hacl-starF*
HACL*, a formally verified cryptographic library written in F*
★ 1,836+0Star change over the last 7 days
#4
creusot ↗@creusot-rsRust
Creusot helps you prove your Rust code is correct.
★ 1,836+2Star change over the last 7 days
#5
quint ↗@quint-coTypeScript
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
★ 1,654+12Star change over the last 7 days
#6
aeneas ↗@AeneasVerifOCaml
A verification toolchain for Rust programs
★ 946+17Star change over the last 7 days
#7
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
#8
CreuSAT ↗@sarskoRust
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
★ 698+2Star change over the last 7 days
#9
practical-fm ↗@ligurio
A gently curated list of companies using verification formal methods in industry
★ 610+1Star change over the last 7 days
#10
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Star change over the last 7 days

← Back to topics