Discover awesome Coq
open-source projects

74
113
187
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
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
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

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
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Did you know that Coq is
the 76th most popular programming language
based on number of references?