15 External backends

Johann Rudloff edited this page 2024-04-17 23:51:09 +02:00

This page lists a number of unofficial backends maintained by the community. Feel free to add your own.

• Dart - Rodrigo Bamboo
• Erlang - Christian Rasmussen
• GHC/ExtSTG v0.1.0 - Andor Penzes
• Go - Bertalan Kis
• GRIN (unfinished) - Zoe Stafford
• JVM - Marimuthu Madasamy
• LLVM - Johann Rudloff
• Lua - Ruslan
• Malfunction - Matúš Tejiščák
• OCaml - Karroffel
• Python - Jan Troler
• HVM - Alex Asafov

• Wiki Home Page
• Using Idris
  • Resources
  • Editor Support
  • Third-party Libraries
  • External Backends
• Working on Idris
  • Getting Started
  • What Contributions are Needed
  • Map of the Source Code
  • FAQ
• Proposed changes
  • Contrib Organisation
  • The State of Idris Documentation
  • Compiler API
  • Networking Primitives
  • Types Metaprogramming Manifesto
  • TypeScript and ECMAScript interfacing
  • Modularize Machine Representation of Types