74
113
187
|
Mentions
@
|
Stars | Project | Description | |
|---|---|---|---|---|
| We couldn't find any libraries for the selected period | ||||
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
| Stars | Project |
|---|---|
| 22 | coqoban |
| 17 | typed_tree_calculus |
| 165 | tree-calculus |
| 902 | coq-of-rust |
| 290 | jasmin |
| 1,977 | CompCert |
| 40 | aws-lc-verification |
| 1,311 | Coq-HoTT |
| 626 | math-comp |
| 23 | lregex |
| 96 | falso |
| 606 | verdi |
| 98 | disel |
| 4 | mu-mu-tilde |
| 20 | LeanGPT |
| 301 | Coq-BB5 |
| 206 | fourcolor |
| 235 | hacspec |
| 0 | type-experiments |
| 1,589 | stalin-sort |
Latest Discoveries
Latest discovered Coq repos
| Stars | Project |
|---|---|
| 22 | coqoban |
| 17 | typed_tree_calculus |
| 165 | tree-calculus |
| 23 | lregex |
| 40 | aws-lc-verification |
| 606 | verdi |
| 98 | disel |
| 4 | mu-mu-tilde |
| 20 | LeanGPT |
| 96 | falso |
| 902 | coq-of-rust |
| 301 | Coq-BB5 |
| 0 | type-experiments |
| 8 | bfcoq |
| 114 | riscv-coq |
| 219 | analysis |
| 626 | math-comp |
| 6 | finite |
| 982 | UniMath |
| 0 | recross-coq |
Recently updated posts
-
Coqoban: Sokoban (In Coq)
-
Typed Programming Analysis without Encodings (2024) [pdf]
-
Tree Calculus (2021) [pdf]
-
How do modern compilers choose which variables to put in registers?
-
The Illustrated Guide to a PhD