AlphaUncommon
agda/agda-stdlib
The Agda standard library
- Owner
- agda (organization)
- Stars
- Stars: 680
- Forks
- Forks: 274
- Language
- Agda
- License
- None
- Created
- 2014
- Topics
- agdalibraryproof
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by agda
All 7 repos by agda- agda/agdaStars: 2,964HaskellRC
- agda/cubicalStars: 572AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- agda/agda2hsStars: 210AgdaPrototype
- agda/cornelisStars: 195HaskellPrototype
- agda/agda-language-serverStars: 130HaskellPrototype
Nearby in Agda
All Agda repos- plfa/plfa.github.ioStars: 1,526AgdaBeta
- agda/cubicalStars: 572AgdaAlpha
- the1lab/1labStars: 445AgdaAlpha
- HoTT/HoTT-AgdaStars: 442AgdaAlpha