Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Moderate Activity

Related Projects

Analyzed 1 day ago. based on code collected 2 days ago.

Projects Similar to agda-stdlib

P

Phobos (D standard library)   (Compare Project)

Moderate Activity

Mostly written in D

License: boost


 

M

Modula-2 R10   (Compare Project)

Activity Not Available

License: Unknown


 

N

Newlib   (Compare Project)

Moderate Activity

Mostly written in C

License: BSD-3-Clause


 

M

M2R10StdLib   (Compare Project)

Activity Not Available

License: Unknown


 

C

carbon-lang   (Compare Project)

Very High Activity

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.