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
Our great sponsors

sail-riscv

CoqGym

fiat-crypto

HoTT

CompCert

vellvm
Mentions Stars Project Description
2 1,308
CompCert
 The CompCert formally-verified C compiler
1 40
safegcd-bounds
 Bounds on divsteps iterations in safegcd

Popular Coq Topics

#coq #Compiler #Comonads #compcert #Compiler Plugin #Consensus #coq-library #Data #Dependent Types #Distributed Systems #Formal Verification #four-color-theorem #Hardware #homotopy-type-theory #icml-2019 #Linearscan #Machine Learning #mathcomp #Profunctor #programming-language #real-number #ssreflect #stalin-sort #theorem-proving #type-theory

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.