Coq LibHunt

Discover popular and related Coq open-source projects

30
37
43
Our great sponsors
  • Scout APM - A developer's best friend. Try free for 14-days
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • SaaSHub - Software Alternatives and Reviews
Mentions Stars Project Description
2 1,308 The CompCert formally-verified C compiler
1 40 Bounds on divsteps iterations in safegcd

Popular Coq Topics

Latest Mentions

Latest mentioned Coq repos
Stars Project
40 safegcd-bounds
1,308 CompCert
979 stalin-sort
99 corn
0 coq-proof
1,017 HoTT
40 ConCert
99 fourcolor
90 silveroak
6 coq-ski
10 picodma-fpga
21 algorand-verification
167 Coq-Equations
6 wbspi
65 coq-library-undecidability
4 doubly-generic
40 unbound
1 cartier
141 sail-riscv
140 InteractionTrees

Latest Discoveries

Latest discovered Coq repos
Stars Project
99 corn
0 coq-proof
40 ConCert
99 fourcolor
90 silveroak
6 coq-ski
10 picodma-fpga
21 algorand-verification
167 Coq-Equations
6 wbspi
65 coq-library-undecidability
4 doubly-generic
1,017 HoTT
1 cartier
141 sail-riscv
255 vellvm
140 InteractionTrees
95 toychain
240 CoqGym
1,308 CompCert

99remotejobs.com

Find remote jobs at our new job board 99remotejobs.com.
There are 34 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.