Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Related Projects

Analyzed about 1 hour ago. based on code collected about 1 hour ago.

Projects Similar to software-foundations

img avatar

Skeptik   (Compare Project)

Inactive

Mostly written in Scala

License: Creative_Commons_NoncommercialShare_Alike-deleted


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 

C

Control.Eternal.Idris   (Compare Project)

Activity Not Available

License: Unknown


 

S

science-problems   (Compare Project)

Inactive

Mostly written in PHP

License: Unknown


 

I

idSynthia   (Compare Project)

Activity Not Available

License: Unknown


 
img avatar

Idris.Yaml   (Compare Project)

Inactive

Mostly written in shell script

License: Unknown


 

W

Wikibook Ada Programming   (Compare Project)

Very Low Activity

Mostly written in Ada

License: GNU_Free_Documentation_License, gpl


 
img avatar

Isabelle   (Compare Project)

Activity Not Available

License: BSD-3-Clause


 

H

holbert   (Compare Project)

Very Low Activity

Mostly written in Haskell

License: Unknown


 

L

lean   (Compare Project)

Very High Activity

Mostly written in C

License: apache_2


 

People who use software-foundations also use:

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

This list is updated nightly.