Trending Agda Projects

This page lists the top trending Agda projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 29 Nov 2021.
» Get a weekly report « straight in your inbox. Every Friday.

Top 3 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.


What are some of the trending open-source Agda projects? This list will help you:

Project Growth
1 cubical 1.9%
2 agda-stdlib 1.7%
3 agda-categories 1.6%