-
Notifications
You must be signed in to change notification settings - Fork 381
External backends
Johann Rudloff edited this page Mar 10, 2021
·
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
- (Unfinished) mmhelloworld JVM
- (Unfinished) cypheon LLVM
(Backend authors please add your own)