24 Repositories
agda
2599
agda-stdlib
603
cubical
473
agda-categories
374
agda2hs
182
cornelis
148
agda-language-server
106
agda-ocaml
39
agda-pkg
37
agda-spec
25
ooAgda
23
agda-stdlib-meta
18
agda-finite-prover
14
package-index
12
categories-examples
11
agda-base
11
fix-whitespace
8
agda2lambox
6
hs-tags
5
guarded
5
agda-ghc-names
4
agda-stdlib-classes
3
organization
2
nix-packages
1