AlphaUncommon
agda/cubical
An experimental library for Cubical Agda
- Owner
- agda (organization)
- Stars
- Stars: 572
- Forks
- Forks: 172
- Language
- Agda
- License
- None
- Created
- 2018
- Topics
- agdacubical-type-theorylibrary
- 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/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/agda-stdlibStars: 680AgdaAlpha
- the1lab/1labStars: 446AgdaAlpha
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha