Top 3 Trending Agda Projects
An experimental library for Cubical Agda
The Agda standard library
A new Categories library for Agda
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.