Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Formal Verification Open Source Projects
Open source projects categorized as Formal Verification
Categories
>
Formal Verification
Edit Category
p-org/P
⭐
2,845
The P programming language.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
hacl-star/hacl-star
⭐
1,825
HACL*, a formally verified cryptographic library written in F*
dependent packages
0
total releases
0
most recent commit
about 2 months ago
viperproject/prusti-dev
⭐
1,409
A static verifier for Rust, based on the Viper verification infrastructure.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
CakeML/cakeml
⭐
879
CakeML: A Verified Implementation of ML
dependent packages
0
total releases
0
most recent commit
over 2 years ago
xldenis/creusot
⭐
823
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
dependent packages
0
total releases
0
most recent commit
over 2 years ago
magmide/magmide
⭐
778
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
niltok/magic-in-ten-mins
⭐
693
十分钟魔法练习
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
sarsko/CreuSAT
⭐
672
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
dependent packages
0
total releases
0
most recent commit
12 months ago
ligurio/practical-fm
⭐
437
A gently curated list of companies using verification formal methods in industry
dependent packages
0
total releases
0
most recent commit
over 2 years ago
PrincetonUniversity/VST
⭐
407
Verified Software Toolchain
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Get A Weekly Email With Trending Formal Verification Projects
No Spam. Unsubscribe easily at any time.
Formal Verification
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
