24 Repositories
agda
2914
agda-stdlib
675
cubical
566
agda-categories
410
agda2hs
209
cornelis
186
agda-language-server
127
agda-pkg
38
ooAgda
25
agda-stdlib-meta
24
agda-finite-prover
14
tasty-silver
13
package-index
12
agda-base
12
fix-whitespace
11
categories-examples
11
agda2lambox
10
agda-stdlib-classes
7
guarded
6
agda-github-syntax-highlighting
4
organization
2
agda-setup-action
2
agda-pretty
1
github-pages-deploy-action
0