Settings |  Report Duplicate

1
I Use This!
Activity Not Available

Related Projects

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

Projects Similar to Agda 2

img avatar

Herschel   (Compare Project)

Activity Not Available

Mostly written in C++

License: BSD-3-Clause


 
img avatar

icarus-lang   (Compare Project)

Activity Not Available

Mostly written in C

License: mit


 

P

ponyc   (Compare Project)

Activity Not Available

Mostly written in C

License: BSD-2-Clause


 
img avatar

Coq proof assistant   (Compare Project)

Activity Not Available

Mostly written in OCaml

License: lgpl


 

R

rzk   (Compare Project)

Activity Not Available

Mostly written in Haskell

License: Unknown


 
img avatar

Ciao Programming Language   (Compare Project)

Activity Not Available

Mostly written in Prolog

License: Unknown


 

H

helen-llvm   (Compare Project)

Activity Not Available

Mostly written in C++

License: mit


 

E

Elm-lang   (Compare Project)

Activity Not Available

Mostly written in Haskell

License: BSD-3-Clause


 

M

metta-wam   (Compare Project)

Activity Not Available

Mostly written in Prolog

License: lgplv3-static


 
img avatar

Deelang   (Compare Project)

Activity Not Available

Mostly written in Java

License: apache_2


 

People who use Agda 2 also use:

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

This list is updated nightly.