Dépôts Agda
23 dépôts Agda au catalogue, du plus étoilé au moins étoilé.
- plfa/plfa.github.ioÉtoiles : 1 524AgdaBêta
- agda/agda-stdlibÉtoiles : 679AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- the1lab/1labÉtoiles : 445AgdaAlpha
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- cedille/cedilleÉtoiles : 397AgdaAlpha
- EgbertRijke/HoTT-IntroÉtoiles : 373AgdaAlpha
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- pigworker/CS410-17Étoiles : 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
- agda/agda2hsÉtoiles : 210AgdaPrototype
- copumpkin/categoriesÉtoiles : 154AgdaPrototype
- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype
- ice1000/BooksÉtoiles : 140AgdaPrototype
- gallais/agdarsecÉtoiles : 138AgdaPrototype
- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype
- HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype
- wenkokke/schmittyÉtoiles : 110AgdaPrototype
- alhassy/gentle-intro-to-reflectionÉtoiles : 108AgdaPrototype
- agda-attic/agda-frp-jsÉtoiles : 104AgdaPrototype