-
Notifications
You must be signed in to change notification settings - Fork 380
External backends
Marimuthu Madasamy edited this page Jan 2, 2022
·
15 revisions
There are a number of backends that aren't part of the main Idris2 repository
- Ziman Malfunction
- Karroffel OCaml
- Bamboo Dart
- Chrrasmussen Erlang
- Russoul Lua
- (Unfinished) Z-snails GRIN
- mmhelloworld JVM
- (Unfinished) cypheon LLVM
- (Pre-alpha) Ext-STG backend
(Backend authors please add your own)