Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Related Projects

Analyzed 4 months ago. based on code collected 5 months ago.

Projects Similar to bonak

img avatar

Coq proof assistant   (Compare Project)

Activity Not Available

Mostly written in OCaml

License: lgpl


 

I

iron lambda   (Compare Project)

Activity Not Available

Mostly written in coq

License: Unknown


 
img avatar

Skeptik   (Compare Project)

Activity Not Available

Mostly written in Scala

License: Creative_Commons_NoncommercialShare_Alike-deleted


 

M

Mathematical Components (Coq)   (Compare Project)

Activity Not Available

Mostly written in coq

License: cecill_b


 

I

Interval Package for Coq   (Compare Project)

Activity Not Available

License: lgpl21


 

F

Flocq   (Compare Project)

Activity Not Available

License: lgpv3_or_later


 

C

Coquelicot   (Compare Project)

Activity Not Available

License: lgpv3_or_later


 
img avatar

Debian Science   (Compare Project)

Activity Not Available

License: CoreSystemIV, Multiple_OSI_Approved


 
img avatar

GAPT   (Compare Project)

Activity Not Available

Mostly written in Scala

License: gpl3_or_later


 
img avatar

xFunc   (Compare Project)

Activity Not Available

Mostly written in C#

License: lgpl


 

People who use bonak also use:

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

This list is updated nightly.