Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Formal Methods Open Source Projects
Open source projects categorized as Formal Methods
Categories
>
Software Development
>
Formal Methods
Edit Category
Awesome-HarmonyOS/HarmonyOS
⭐
18,477
A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。
dependent packages
0
total releases
0
most recent commit
almost 4 years ago
spacejam/sled
⭐
7,522
the champagne of beta embedded databases
dependent packages
0
total releases
0
most recent commit
over 2 years ago
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
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
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
epfl-lara/stainless
⭐
339
Verification framework and tool for higher-order Scala programs
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Get A Weekly Email With Trending Formal Methods Projects
No Spam. Unsubscribe easily at any time.
Formal Methods
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
