nojb / llvm-tigerLinks
A compiler for the Tiger programming language targeting LLVM
☆13Updated 8 years ago
Alternatives and similar repositories for llvm-tiger
Users that are interested in llvm-tiger are comparing it to the libraries listed below
Sorting:
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated last year
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- OCaml bytecode to C compiler☆103Updated 4 years ago
- OCaml bindings for jech/dht☆23Updated 5 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 6 months ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- The language of the future!☆72Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Distributed computing library☆35Updated 6 years ago
- Pretty-printing library for OCaml☆43Updated 3 years ago
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated last year
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 3 years ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 2 years ago
- Wiki for ocaml compiler internals☆46Updated 11 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last month
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 13 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- Scheme (R6RS subset) interpreter written in OCaml☆16Updated 5 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Tool to convert OASIS metadata to OPAM package descriptions☆27Updated 7 years ago
- Compile-time metaprogramming for OCaml☆74Updated 11 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago