OCaml Packages · Search Result

3 Search Results

A toy language based on LLVM that implements the System Fω type-system

compiler System F System Fω llvm type-system language

Kate <kit.ty.kate@disroot.org>

0.1

MIT

Used by 0 other packages

Just a tiny LLVM-IR optimizer for testing stuff.

llvm optimization test testing compiler

Kate <kit.ty.kate@disroot.org>

1.0.0

MIT

Used by 0 other packages

Ocamlgraph overlay for llvm

llvm ocamlgraph

Gabriel Radanne

0.2

MIT

Used by 0 other packages