65
99
167
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 37 | 1,771 | The CompCert formally-verified C compiler | |
| 9 | 396 | Sail RISC-V model | |
| 1 | 146 | Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification | |
| 1 | 4 |
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
| Stars | Project |
|---|---|
| 146 | coq-of-rust |
| 1,771 | CompCert |
| 4 | Coq-BB5 |
| 396 | sail-riscv |
| 235 | hacspec |
| 0 | type-experiments |
| 1,485 | stalin-sort |
| 141 | kami |
| 6 | bfcoq |
| 1,221 | Coq-HoTT |
| 370 | CoqGym |
| 286 | proofs |
| 99 | riscv-coq |
| 808 | magmide |
| 915 | UniMath |
| 692 | fiat-crypto |
| 181 | analysis |
| 549 | math-comp |
| 5 | finite |
| 151 | fourcolor |
Latest Discoveries
Latest discovered Coq repos
| Stars | Project |
|---|---|
| 146 | coq-of-rust |
| 4 | Coq-BB5 |
| 0 | type-experiments |
| 6 | bfcoq |
| 99 | riscv-coq |
| 181 | analysis |
| 549 | math-comp |
| 5 | finite |
| 915 | UniMath |
| 0 | recross-coq |
| 12 | regexp-Brzozowski |
| 70 | Schools |
| 0 | traversable-fincontainer |
| 224 | jasmin |
| 9 | diffgeo |
| 24 | cps |
| 31 | aneris |
| 286 | proofs |
| 50 | rupicola |
| 2 | strong-induction |
Recently updated posts
-
Translation of the Rust's core and alloc crates to Coq for formal verification
-
Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870
-
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
-
Stalin Sort Algorithm
-
So you think you know C?