Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

ziman/idris-py

Python backend for Idris (generates Python source, not bytecode).

Owner: ziman (personal account)
Stars: Stars: 124
Forks: Forks: 12
Language: Haskell
License: None
Created: 2015
Tier: Prototype (100 to 249 ★) What this tier means

More repos by ziman

All 3 repos by ziman

ziman/lightyearStars: 243IdrisPrototype
ziman/rarcrackStars: 116CPrototype

Nearby in Haskell

All Haskell repos

phadej/cabal-fmtStars: 125HaskellPrototype
nh2/hatraceStars: 125HaskellPrototype
hercules-ci/hercules-ci-agentStars: 125HaskellPrototype
jgm/pandoc-typesStars: 123HaskellPrototype
egonSchiele/HandsomeSoupStars: 123HaskellPrototype
haskell/primitiveStars: 123HaskellPrototype