#
compiler-backend
Here are 4 public repositories matching this topic...
Specification of the Base2 IR abstraction.
-
Updated
Mar 26, 2023 - TeX
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
-
Updated
Jun 2, 2020 - TeX
Malfunction backend for Idris with a FFI to OCaml
dependent-types
ocaml
haskell-library
idris
compilers
idris-ecosystem
malfunction
compiler-backend
foreign-function-interface
-
Updated
Aug 22, 2019 - TeX
Improve this page
Add a description, image, and links to the compiler-backend topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the compiler-backend topic, visit your repo's landing page and select "manage topics."