Agda GitHub repos
23 Agda repos in the catalog, most starred first.
- plfa/plfa.github.ioStars: 1,524AgdaBeta
- agda/agda-stdlibStars: 679AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- the1lab/1labStars: 445AgdaAlpha
- HoTT/HoTT-AgdaStars: 442AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- cedille/cedilleStars: 397AgdaAlpha
- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
- pigworker/CS410-17Stars: 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 237AgdaPrototype
- agda/agda2hsStars: 210AgdaPrototype
- copumpkin/categoriesStars: 154AgdaPrototype
- thehottgame/TheHoTTGameStars: 141AgdaPrototype
- ice1000/BooksStars: 140AgdaPrototype
- gallais/agdarsecStars: 138AgdaPrototype
- UlfNorell/agda-preludeStars: 135AgdaPrototype
- HoTT-Intro/AgdaStars: 129AgdaPrototype
- wenkokke/schmittyStars: 110AgdaPrototype
- alhassy/gentle-intro-to-reflectionStars: 108AgdaPrototype
- agda-attic/agda-frp-jsStars: 104AgdaPrototype