PrototypeCommune
agda/agda2hs
Compiling Agda code to readable Haskell
- Propriétaire
- agda (organisation)
- Étoiles
- Étoiles : 210
- Forks
- Forks : 52
- Langage
- Agda
- Licence
- MIT
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de agda
Les 7 dépôts de agda- agda/agdaÉtoiles : 2 964HaskellRC
- agda/agda-stdlibÉtoiles : 680AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- agda/agda-categoriesÉtoiles : 412AgdaAlpha
- agda/cornelisÉtoiles : 195HaskellPrototype
- agda/agda-language-serverÉtoiles : 130HaskellPrototype
D’autres dépôts Agda
Tous les dépôts Agda- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- pigworker/CS410-17Étoiles : 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
- copumpkin/categoriesÉtoiles : 154AgdaPrototype
- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype
- ice1000/BooksÉtoiles : 140AgdaPrototype