Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
input-output-hk
Fetched on 2026/03/01 19:54
input-output-hk
/
agda-stdlib-classes
Extension of Agda's standard library to accommodate a more typeclass-friendly interface. -
View it on GitHub
https://agda.github.io/agda-stdlib-classes/
Star
0
Rank
13944860
