63
97
164
Mentions
@
|
Stars | Project | Description |
---|---|---|---|
9 | 390 | Sail RISC-V model |
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
Stars | Project |
---|---|
390 | sail-riscv |
235 | hacspec |
0 | type-experiments |
1,471 | stalin-sort |
1,767 | CompCert |
139 | kami |
6 | bfcoq |
1,216 | Coq-HoTT |
370 | CoqGym |
286 | proofs |
99 | riscv-coq |
804 | magmide |
912 | UniMath |
689 | fiat-crypto |
548 | math-comp |
180 | analysis |
5 | finite |
150 | fourcolor |
28 | coq-simple-io |
0 | recross-coq |
Latest Discoveries
Latest discovered Coq repos
Stars | Project |
---|---|
0 | type-experiments |
6 | bfcoq |
99 | riscv-coq |
180 | analysis |
548 | math-comp |
5 | finite |
912 | UniMath |
0 | recross-coq |
12 | regexp-Brzozowski |
70 | Schools |
0 | traversable-fincontainer |
223 | jasmin |
9 | diffgeo |
24 | cps |
31 | aneris |
286 | proofs |
48 | rupicola |
2 | strong-induction |
59 | name-the-biggest-number |
2 | haskell-coq |
Recently updated posts
-
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
-
Stalin Sort Algorithm
-
So you think you know C?
-
Kami: A Platform for Hardware Specification and Verification
-
bfcoq: Brainfuck compiler in Coq