AlphaUncommon
agda/agda-categories
A new Categories library for Agda
- Owner
- agda (organization)
- Stars
- Stars: 412
- Forks
- Forks: 83
- Language
- Agda
- License
- MIT
- Created
- 2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by agda
All 7 repos by agda- agda/agdaStars: 2,964HaskellRC
- agda/agda-stdlibStars: 680AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- agda/agda2hsStars: 210AgdaPrototype
- agda/cornelisStars: 195HaskellPrototype
- agda/agda-language-serverStars: 130HaskellPrototype
Nearby in Agda
All Agda repos- agda/cubicalStars: 572AgdaAlpha
- the1lab/1labStars: 446AgdaAlpha
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- cedille/cedilleStars: 398AgdaAlpha
- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha