9 open source projects by agda

An experimental library for Cubical Agda

A new Categories library for Agda

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

The Agda standard library

Specification of Agda.

apkg - package manager for Agda

Compiling Agda code to readable Haskell

Interactive and object-oriented programming in Agda using coinductive types

Agda libraries for the semantic web