idris-erlang

BSD-3-ClauseHaskell

187 stars15 forks0 contributors

Overview

Erlang Backend for Idris Compiler

Stars187

Forks15

Contributors0

Open Issues1

Last commit

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

9 years ago

CreatedSince 2014

Auto-fetched 1 day ago

Idris on the JVM

Experimental Malfunction backend for Idris

Idris LLVM codegen factored out