Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Very Low Activity

Related Projects

Analyzed about 12 hours ago. based on code collected about 12 hours ago.

Projects Similar to Idris-lang

img avatar

Whiley Compiler (WyC)   (Compare Project)

Inactive

Mostly written in Java

License: BSD-3-Clause


 
img avatar

Xen Project (XAPI)   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl21le


 

H

haskell-reflection   (Compare Project)

Very Low Activity

Mostly written in Haskell

License: BSD-3-Clause


 
img avatar

HUGS   (Compare Project)

Activity Not Available

License: Unknown


 
img avatar

NIP2   (Compare Project)

Very Low Activity

Mostly written in Modula-2

License: gpl


 
img avatar

Mercury Language   (Compare Project)

High Activity

Mostly written in Matlab

License: gpl


 
img avatar

Coq proof assistant   (Compare Project)

Very High Activity

Mostly written in OCaml

License: lgpl


 
img avatar

Rascal MPL   (Compare Project)

Activity Not Available

License: eclipse


 
img avatar

Frege   (Compare Project)

Very Low Activity

Mostly written in Forth

License: bsd


 

L

Lout batch document formatting system   (Compare Project)

Activity Not Available

License: gpl3


 

People who use Idris-lang also use:

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

This list is updated nightly.