Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Related Projects

Projects Similar to Interval Package for Coq

F

Flocq   (Compare Project)

Activity Not Available

License: lgpv3_or_later


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in coq

License: lgpl


 

M

Mathematical Components (Coq)   (Compare Project)

Moderate Activity

Mostly written in coq

License: cecill_b


 

I

iron lambda   (Compare Project)

Inactive

Mostly written in coq

License: Unknown


 
img avatar

bonak   (Compare Project)

Moderate Activity

Mostly written in coq

License: lgpl


 

C

Coquelicot   (Compare Project)

Activity Not Available

License: lgpv3_or_later


 

P

php_component_data_type   (Compare Project)

Inactive

Mostly written in PHP

License: lgpv3_or_later


 

G

Gappa   (Compare Project)

Activity Not Available

License: gpl


 

C

ChronoJump   (Compare Project)

Activity Not Available

License: gpl


 

I

interval-tree   (Compare Project)

Inactive

Mostly written in Ruby

License: mit


 

People who use Interval Package for Coq also use:

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

This list is updated nightly.