PrototypeCommune
ziman/idris-py
Python backend for Idris (generates Python source, not bytecode).
- Propriétaire
- ziman (compte personnel)
- Étoiles
- Étoiles : 124
- Forks
- Forks : 12
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ziman
Les 3 dépôts de ziman- ziman/lightyearÉtoiles : 243IdrisPrototype
- ziman/rarcrackÉtoiles : 116CPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- phadej/cabal-fmtÉtoiles : 125HaskellPrototype
- nh2/hatraceÉtoiles : 125HaskellPrototype
- hercules-ci/hercules-ci-agentÉtoiles : 125HaskellPrototype
- jgm/pandoc-typesÉtoiles : 123HaskellPrototype
- egonSchiele/HandsomeSoupÉtoiles : 123HaskellPrototype
- haskell/primitiveÉtoiles : 123HaskellPrototype