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,555
HACL*, a formally verified cryptographic library written in F*
dependent packages 0 total releases 0 most recent commit about 2 years 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 about 2 years ago
CakeML/cakeml ⭐ 879
CakeML: A Verified Implementation of ML
dependent packages 0 total releases 0 most recent commit about 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 about 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 over 2 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 10 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 about 2 years ago
Get A Weekly Email With Trending Formal Verification Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.