Top 5 Trending Agda Projects
ABOUT:
The growth percentage is calculated as the increase in the number of stars
compared to the previous month. We list only projects that have
at least 500 stars and a GitHub organization logo set.
Index
What are some of the trending open-source Agda projects? This list will help you:
Project | Growth | |
---|---|---|
1 | agda2hs | 2.4% |
2 | cubical | 2.1% |
3 | agda-stdlib | 2.0% |
4 | agda-categories | 1.4% |
5 | Agda | 0.0% |