chifflier / ocaml-llvm-tutorial
OCaml LLVM bindings tutorial
☆21Updated 8 years ago
Alternatives and similar repositories for ocaml-llvm-tutorial
Users that are interested in ocaml-llvm-tutorial are comparing it to the libraries listed below
Sorting:
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 11 years ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 years ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆20Updated 13 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 9 months ago
- Implementation of the Raft protocol in OCaml☆20Updated 8 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 3 weeks ago
- Experimental model checker for testing concurrent algorithms☆36Updated 5 months ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- OCaml bindings for clang☆23Updated 7 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆54Updated 13 years ago
- Bisector tree implementation in OCaml☆25Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Multiparty Session Types in OCaml☆60Updated 6 months ago
- ☆16Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 7 years ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated last year
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- OCaml bindings for libgccjit☆26Updated 8 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- OCaml bit vector library☆32Updated 6 months ago
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 3 years ago
- This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…☆51Updated 6 years ago