-
Notifications
You must be signed in to change notification settings - Fork 380
External backends
Kamiλ Shakirov edited this page Feb 26, 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
(Backend authors please add your own)