Libraries and other developments

This page lists some Agda libraries and other developments written in Agda. All Agda users are strongly encouraged to add their own developments, including supporting reports/slides/documentation, to make them available to the community. 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.

Page last modified on November 03, 2022, at 12:49 pm
Powered by PmWiki