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