24 Repositories
agda
2799
agda-stdlib
651
cubical
537
agda-categories
399
agda2hs
200
cornelis
178
agda-language-server
124
agda-pkg
38
ooAgda
25
agda-stdlib-meta
20
agda-finite-prover
14
tasty-silver
13
package-index
12
categories-examples
11
agda-base
11
fix-whitespace
10
agda2lambox
9
guarded
6
agda-stdlib-classes
4
agda-github-syntax-highlighting
4
organization
2
agda-setup-action
1
agda-pretty
1
github-pages-deploy-action
0