4
Repos
4.1k
Stars
846
Forks
4.1k
Watchers
Repositories (4)
agda
agda/agda
Haskell
Agda is a dependently typed programming language / interactive theorem prover.
2.8k
410
agda-stdlib
agda/agda-stdlib
Agda
The Agda standard library
658
265
cubical
agda/cubical
Agda
An experimental library for Cubical Agda
546
164
agda-pkg
agda/agda-pkg
Python
apkg - package manager for Agda
38
7