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 agda-stdlib

P

Phobos (D standard library)   (Compare Project)

Activity Not Available

Mostly written in D

License: boost


 
img avatar

slibc (Stockholm C Standard Library)   (Compare Project)

Activity Not Available

Mostly written in C

License: gpl3


 

M

Modula-2 R10   (Compare Project)

Activity Not Available

License: Unknown


 

N

Newlib   (Compare Project)

Activity Not Available

Mostly written in C

License: BSD-3-Clause


 

M

M2R10StdLib   (Compare Project)

Activity Not Available

License: Unknown


 
img avatar

Horse64   (Compare Project)

Activity Not Available

Mostly written in Python

License: Unknown


 

C

carbon-lang   (Compare Project)

Activity Not Available

Mostly written in C++

License: Unknown


 

People who use agda-stdlib also use:

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

This list is updated nightly.