32 Repositories
agda
2378
agda-stdlib
556
cubical
421
agda-categories
348
agda2hs
167
agda-frp-js
100
agda-language-server
95
agda-frp-ltl
41
agda-ocaml
39
agda-pkg
33
agda-spec
25
agda-system-io
24
agda-web-semantic
22
ooAgda
20
agda-finite-prover
13
package-index
12
categories-examples
11
agda-base
9
agda-assoc-free
9
fix-whitespace
8
categories
7
hs-tags
5
guarded
5
agda-makefile
5
agda-data-bindings
5
agda-web-uri
4
agda-uhc
4
agda-github-syntax-highlighting
4
agda-ghc-names
4
agda-text-xml
3
bitvector
2
text-icu
0