agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

plfa / plfa.github.io

An introduction to programming language theory in Agda

magda-io / magda

A federated, open-source data catalog for all your big data and small data

agda / cubical

An experimental library for Cubical Agda