Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Activity Not Available

Related Projects

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

Projects Similar to iron lambda

img avatar

Coq proof assistant   (Compare Project)

Activity Not Available

Mostly written in coq

License: lgpl


 
img avatar

Mercury Language   (Compare Project)

Activity Not Available

Mostly written in Matlab

License: gpl


 
img avatar

Whiley Compiler (WyC)   (Compare Project)

Activity Not Available

Mostly written in Java

License: BSD-3-Clause


 
img avatar

bonak   (Compare Project)

Activity Not Available

Mostly written in coq

License: lgpl


 
img avatar

HUGS   (Compare Project)

Activity Not Available

License: Unknown


 
img avatar

GAPT   (Compare Project)

Activity Not Available

Mostly written in Scala

License: gpl3_or_later


 
img avatar

GNU CLISP - an ANSI Common Lisp   (Compare Project)

Activity Not Available

Mostly written in C

License: gpl


 

M

MARF:Modular Audio Recognition Framework   (Compare Project)

Activity Not Available

Mostly written in Java

License: BSD-3-Clause


 
img avatar

Xen Project (XAPI)   (Compare Project)

Activity Not Available

Mostly written in OCaml

License: lgpl21le


 
img avatar

Frege   (Compare Project)

Activity Not Available

Mostly written in Forth

License: bsd


 

People who use iron lambda also use:

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

This list is updated nightly.