chifflier / ocaml-llvm-tutorial
OCaml LLVM bindings tutorial
☆22Updated 7 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
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Parser for the llvm bitcode format☆60Updated this week
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- An higher-level LLVM binding for OCaml☆14Updated 7 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 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…☆53Updated 13 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 7 months ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- ☆38Updated 5 years 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
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆19Updated 3 years ago
- OCaml bytecode to C compiler☆99Updated 4 years ago
- Interactive memory profiler based on Memtrace☆30Updated 4 months ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last month
- A compiler from WebAssembly to native code, via the OCaml backend.☆91Updated 6 years ago
- Code using GADT☆37Updated 3 years ago
- Thin OCaml bindings to various low-level system APIs not covered by Unix module☆54Updated last week
- The MemCAD static analyzer☆25Updated 3 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- The language of the future!☆72Updated last year
- OCaml bindings for clang☆23Updated 6 years ago