All Git Users → ioanluca

1 open source projects by ioanluca

[ Open user page on Github ]

1. real-world-idris

Malfunction backend for Idris with a FFI to OCaml

✭ 26

TeX haskell Idris compilers idris-ecosystem malfunction compiler-backend foreign-function-interface

1-1 of 1 user projects