Contribute to Small Projects

Discover open source projects with 100-600 stars — perfect for your first contributions

Agda Projects | Contribute to Small Projects

Discover open source projects with 100-600 stars — perfect for your first contributions

Filter by language:

Showing 1 of 1 repositories for Agda

Page 1 of 1

A new Categories library for Agda

Agda393

Jan 13, 2026Jan 13