nojb / llvm-tiger
A compiler for the Tiger programming language targeting LLVM
☆13Updated 7 years ago
Related projects: ⓘ
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated 10 months ago
- Bytecode compiler of a variant of Caml☆31Updated 9 years ago
- The language of the future!☆71Updated 8 months ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- Error message generator for state/token pairs.☆14Updated 10 years ago
- ☆17Updated this week
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Distributed computing library☆35Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- L-system interpreter in OCaml☆23Updated 8 years ago
- SML The Living Language☆11Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- OCaml bytecode to C compiler☆98Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆35Updated 2 weeks ago
- Ropes ("heavyweight strings") for OCaml☆49Updated last month
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 3 years ago
- miniKanren in OCaml☆31Updated last year
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- Raft consensus algorithm implementation☆33Updated 4 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 8 years ago
- The Alms Programming Language☆43Updated 6 years ago
- High-Level Virtual Machine for statically-typed functional languages.☆48Updated 12 years ago
- secret project☆17Updated 6 years ago