49 Open Source Agda Software Projects

Free and open source agda code projects including engines, APIs, generators, and tools.