External backends - idris-lang/Idris2 GitHub Wiki

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