Discover trending Coq
open-source projects

55
73
130
Our great sponsors
  • Scout APM - Truly a developer’s best friend
  • Zigi - Workflow assistant built for devs & their teams
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • SonarQube - Static code analysis for 29 languages.
Mentions
@
Stars Project Description
1 1,489 The CompCert formally-verified C compiler
1 262 Sail RISC-V model
1 127 Jasmin compiler
1 101 A core language for rule-based hardware design 🦑
1 63 Convert Haskell source code to Coq source code.

Popular Coq Topics

Latest Mentions

Latest mentioned Coq repos
Stars Project
262 sail-riscv
63 hs-to-coq
101 koika
127 jasmin
1,489 CompCert
5 diffgeo
14 cps
21 aneris
511 fiat-crypto
1,149 stalin-sort
86 coq-library-undecidability
236 proofs
182 principia
44 rupicola
701 magmide
2 strong-induction
51 name-the-biggest-number
2 haskell-coq
25 verified-scheduling
33 advent-of-coq-2021

Latest Discoveries

Latest discovered Coq repos
Stars Project
127 jasmin
5 diffgeo
14 cps
21 aneris
236 proofs
44 rupicola
2 strong-induction
51 name-the-biggest-number
2 haskell-coq
25 verified-scheduling
137 advent-of-coq-2018
24 coq-simple-io
33 advent-of-coq-2021
63 hs-to-coq
2 Doubly-Linked-List-VST
182 principia
64 vericert
120 kami
101 koika
137 fiat