62
89
150
Our great sponsors
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 1 | 272 | My personal repository of formally verified mathematics. |
Popular Coq Topics
Latest Mentions
Latest mentioned Coq repos
| Stars | Project |
|---|---|
| 272 | proofs |
| 1,673 | CompCert |
| 320 | sail-riscv |
| 89 | riscv-coq |
| 777 | magmide |
| 864 | UniMath |
| 1,190 | Coq-HoTT |
| 612 | fiat-crypto |
| 507 | math-comp |
| 164 | analysis |
| 5 | finite |
| 1,260 | stalin-sort |
| 132 | fourcolor |
| 339 | CoqGym |
| 27 | coq-simple-io |
| 12 | regexp-Brzozowski |
| 0 | recross-coq |
| 59 | Schools |
| 0 | traversable-fincontainer |
| 71 | hs-to-coq |
Latest Discoveries
Latest discovered Coq repos
| Stars | Project |
|---|---|
| 89 | riscv-coq |
| 164 | analysis |
| 507 | math-comp |
| 5 | finite |
| 864 | UniMath |
| 0 | recross-coq |
| 12 | regexp-Brzozowski |
| 59 | Schools |
| 0 | traversable-fincontainer |
| 177 | jasmin |
| 9 | diffgeo |
| 19 | cps |
| 25 | aneris |
| 272 | proofs |
| 46 | rupicola |
| 2 | strong-induction |
| 51 | name-the-biggest-number |
| 2 | haskell-coq |
| 29 | verified-scheduling |
| 139 | advent-of-coq-2018 |
Recently updated posts
- A Taste of Coq and Correct Code by Construction
- RISC-V CPU formal specification F# edition
- Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?
- Will Computers Redefine the Roots of Math?
- Dilemma: very unhappy with a highly-paying tech job. What to do?