| Awesome-HarmonyOS/HarmonyOS |
18,477 |
|
0 |
0 |
almost 4 years ago |
0 |
|
52 |
|
C |
| A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。 |
| spacejam/sled |
7,522 |
|
43 |
292 |
over 2 years ago |
100 |
September 11, 2023 |
141 |
apache-2.0 |
Rust |
| the champagne of beta embedded databases |
| p-org/P |
2,845 |
|
0 |
1 |
over 2 years ago |
3 |
April 04, 2023 |
17 |
mit |
C# |
| The P programming language. |
| hacl-star/hacl-star |
1,555 |
|
0 |
2 |
about 2 years ago |
11 |
June 15, 2023 |
36 |
apache-2.0 |
F* |
| HACL*, a formally verified cryptographic library written in F* |
| xldenis/creusot |
823 |
|
0 |
0 |
about 2 years ago |
1 |
November 18, 2021 |
96 |
lgpl-2.1 |
Rust |
| deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! |
| magmide/magmide |
778 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
Coq |
| A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. |
| sarsko/CreuSAT |
672 |
|
0 |
0 |
10 months ago |
0 |
|
6 |
mit |
Rust |
| CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. |
| ligurio/practical-fm |
437 |
|
0 |
0 |
over 2 years ago |
0 |
|
3 |
|
|
| A gently curated list of companies using verification formal methods in industry |
| PrincetonUniversity/VST |
407 |
|
0 |
0 |
about 2 years ago |
0 |
|
34 |
other |
Coq |
| Verified Software Toolchain |
| epfl-lara/stainless |
339 |
|
0 |
0 |
over 2 years ago |
0 |
|
259 |
apache-2.0 |
HTML |
| Verification framework and tool for higher-order Scala programs |
