#

compiler-backend

Here are 4 public repositories matching this topic...

ioanluca / real-world-idris

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

thautwarm / Quick-Backend

Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master

idris code-generation compiler-backend

Updated Jun 2, 2020
TeX

article-ccc-backend

coord-e / article-ccc-backend

cccコンパイラのバックエンド

article optimization c-compiler compiler-backend

Updated Dec 22, 2019
TeX

KFAFSP / base2-spec

Specification of the Base2 IR abstraction.

compiler-backend reconfigurable-computing

Updated Mar 26, 2023
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.

Curate this topic

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."