Libraries and other developments

This page lists some Agda libraries and other developments written in Agda. Please link to your own developments here, including supporting reports/slides/documentation. You can also create a separate wiki page describing the development.

Libraries, i.e. code which is intended to be reused

It would be nice if all libraries listed here had a free software licence.

Agda code hosting

Other developments

Some of the papers using Agda also come with source code.