4
Repos
4.2k
Stars
867
Forks
120
Watchers
Repositories (4)
agda
agda/agda
Haskell
Agda is a dependently typed programming language / interactive theorem prover.
2.9k
419
agda-stdlib
agda/agda-stdlib
Agda
The Agda standard library
673
271
cubical
agda/cubical
Agda
An experimental library for Cubical Agda
565
170
agda-pkg
agda/agda-pkg
Python
apkg - package manager for Agda
38
7