GitHub repository with 9 stars and 2 forks.
Language: Agda
Open provider repository
2026-06-05: 9 stars and 2 forks.