4 repos
agda/agda-stdlib
The Agda standard library
674
3,766 commits
agda/cubical
An experimental library for Cubical Agda
568
2,243 commits
agda/agda-categories
A new Categories library for Agda
409
2,491 commits
agda/agda-language-server
Language Server for Agda
127
379 commits
