GitHub repository: vindaloo-thesis/idris-se
Primary language: Haskell
Description: Idris to Serpent back end for Ethereum smart contracts