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.

Page last modified on March 24, 2022, at 11:35 PM
Powered by PmWiki