chifflier / ocaml-llvm-tutorial
OCaml LLVM bindings tutorial
☆22Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for ocaml-llvm-tutorial
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- An higher-level LLVM binding for OCaml☆14Updated 7 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated 8 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- An overlay for the OCaml Z3 binding.☆35Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 3 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆20Updated 13 years ago
- Code using GADT☆37Updated 3 years ago
- Multiparty Session Types in OCaml☆57Updated 3 weeks ago
- This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…☆51Updated 5 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- OPAM repo for OCaml multicore development☆52Updated 2 years ago
- The language of the future!☆72Updated 10 months ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- Make OCaml native debugging awesome☆32Updated 4 years ago
- Distributed computing library☆35Updated 6 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆99Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- ☆38Updated 5 years ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated 7 months ago
- ☆50Updated 3 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆41Updated 3 years ago
- An OCaml library for describing Protobuf messages☆30Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- OCaml bytecode to C compiler☆98Updated 4 years ago