Compiler Backend
3 projects
Showing 3 of 3 projects
idris-jvmIdris
A JVM bytecode backend for Idris 2, enabling Idris programs to run on the Java Virtual Machine.
#java-interop#functional-programming#idris
Stars483
Forks28
Last commit21 days ago
idris-malfunctionHaskell
Experimental Idris compiler backend that generates Malfunction code for improved performance.
#functional-programming#performance-optimization#idris
Stars81
Forks6
Last commit8 years ago
idris-llvmHaskell
An LLVM backend code generator for the Idris programming language.
#functional-programming#gmp#idris
Stars81
Forks13
Last commit9 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.