20
0
90
|
Mentions
@
|
Stars | Project | Description |
|---|---|---|---|
| 1 | 153 | A Verified Compiler for Gallina, Written in Gallina |
Popular Rocq Prover Topics
Latest Mentions
Latest mentioned Rocq Prover repos
| Stars | Project |
|---|---|
| 153 | certicoq |
| 65 | ssprove |
| 938 | coq-of-rust |
| 297 | jasmin |
| 2,000 | CompCert |
| 52 | aws-lc-verification |
| 1,323 | Coq-HoTT |
| 630 | math-comp |
| 212 | fourcolor |
| 155 | kami |
| 303 | proofs |
| 986 | UniMath |
| 766 | fiat-crypto |
| 221 | analysis |
| 156 | koika |
| 36 | cps |
| 57 | rupicola |
Latest Discoveries
Latest discovered Rocq Prover repos
| Stars | Project |
|---|---|
| 153 | certicoq |
| 65 | ssprove |
| 52 | aws-lc-verification |
| 938 | coq-of-rust |
| 221 | analysis |
| 630 | math-comp |
| 986 | UniMath |
| 297 | jasmin |
| 36 | cps |
| 303 | proofs |
| 57 | rupicola |
| 155 | kami |
| 156 | koika |
| 153 | fiat |
| 115 | corn |
| 212 | fourcolor |
| 1,323 | Coq-HoTT |
| 2 | cartier |
| 2,000 | CompCert |
| 766 | fiat-crypto |
Recently updated posts
View more »Newsletter
Many thanks to our great sponsors
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
