nojb / llvm-tiger
A compiler for the Tiger programming language targeting LLVM
☆13Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for llvm-tiger
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 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 last year
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- Cocoa drop-in replacement for OCaml graphics module running under OS X (WIP)☆10Updated 8 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Error message generator for state/token pairs.☆14Updated 10 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- The language of the future!☆72Updated 10 months ago
- Owl's Parallel & Distributed Computing Engine☆30Updated 5 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago
- Embed typed ASN.1 grammars in OCaml☆34Updated 2 months ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated last month
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- OCaml implementation of MySQL/MariaDB protocol with the Bitstring library☆14Updated 2 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Distributed computing library☆35Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language☆18Updated 12 years ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- Compile-time metaprogramming for OCaml☆71Updated 3 months ago
- High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli☆20Updated last year
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Scheme (R6RS subset) interpreter written in OCaml☆16Updated 4 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Updated 6 months ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- miniKanren in OCaml☆31Updated last year