Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Moderate Activity

Related Projects

Analyzed about 9 hours ago. based on code collected 1 day ago.

Projects Similar to Mathematical Components (Coq)

img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 

I

Interval Package for Coq   (Compare Project)

Activity Not Available

License: lgpl21


 

I

iron lambda   (Compare Project)

Activity Not Available

Mostly written in coq

License: Unknown


 

C

Coquelicot   (Compare Project)

Activity Not Available

License: lgpv3_or_later


 
img avatar

bonak   (Compare Project)

Moderate Activity

Mostly written in coq

License: lgpl


 

F

Flocq   (Compare Project)

Activity Not Available

License: lgpv3_or_later


 

L

learn-haskell-coq-ml-etc   (Compare Project)

Inactive

Mostly written in Haskell

License: Unknown


 

C

CompCert   (Compare Project)

Moderate Activity

Mostly written in coq

License: Unknown


 

C

Coq ELPI   (Compare Project)

High Activity

Mostly written in coq

License: Unknown


 

S

software-foundations   (Compare Project)

Inactive

Mostly written in Nix

License: Unknown


 

People who use Mathematical Components (Coq) also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.