55
73
130
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 1 | 1,489 | The CompCert formally-verified C compiler | |
| 1 | 262 | Sail RISC-V model | |
| 1 | 127 | Jasmin compiler | |
| 1 | 101 | A core language for rule-based hardware design 🦑 | |
| 1 | 63 | Convert Haskell source code to Coq source code. |
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
| Stars | Project |
|---|---|
| 262 | sail-riscv |
| 63 | hs-to-coq |
| 101 | koika |
| 127 | jasmin |
| 1,489 | CompCert |
| 5 | diffgeo |
| 14 | cps |
| 21 | aneris |
| 511 | fiat-crypto |
| 1,149 | stalin-sort |
| 86 | coq-library-undecidability |
| 236 | proofs |
| 182 | principia |
| 44 | rupicola |
| 701 | magmide |
| 2 | strong-induction |
| 51 | name-the-biggest-number |
| 2 | haskell-coq |
| 25 | verified-scheduling |
| 33 | advent-of-coq-2021 |
Latest Discoveries
Latest discovered Coq repos
| Stars | Project |
|---|---|
| 127 | jasmin |
| 5 | diffgeo |
| 14 | cps |
| 21 | aneris |
| 236 | proofs |
| 44 | rupicola |
| 2 | strong-induction |
| 51 | name-the-biggest-number |
| 2 | haskell-coq |
| 25 | verified-scheduling |
| 137 | advent-of-coq-2018 |
| 24 | coq-simple-io |
| 33 | advent-of-coq-2021 |
| 63 | hs-to-coq |
| 2 | Doubly-Linked-List-VST |
| 182 | principia |
| 64 | vericert |
| 120 | kami |
| 101 | koika |
| 137 | fiat |
Recently updated posts
- Is "my version" of quick-sort incorrect?
- AI Language Models Are Struggling to “Get” Math
- What are some possible research questions on compiler construction
- Is it possible to make C as safe as Rust?
- Aneris: Program logic for developing and verifying distributed systems