Owner · agda

agda

agda's tracked open-source repos, sorted by stars.

3 repos

#1
agda ↗@agdaHaskell
Agda is a dependently typed programming language / interactive theorem prover.
★ 2,922+3Star change over the last 7 days
#2
agda-stdlib ↗@agdaAgda
The Agda standard library
★ 675+0Star change over the last 7 days
#3
cubical ↗@agdaAgda
An experimental library for Cubical Agda
★ 567+0Star change over the last 7 days