chifflier / ocaml-llvm-tutorialLinks
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:
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An higher-level LLVM binding for OCaml☆130Updated 9 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last month
- OCaml bytecode to C compiler☆103Updated 4 years ago
- ☆38Updated 5 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- MoCHi: Model Checker for Higher-Order Programs☆42Updated 2 months ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 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
- Light library to deal with RPCs in OCaml☆98Updated 3 months ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl☆57Updated 4 years ago
- Distributed computing library☆35Updated 6 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Various signed and unsigned integer types for OCaml☆66Updated 7 months ago
- Multiparty Session Types in OCaml☆60Updated 8 months ago
- The MemCAD static analyzer☆27Updated 3 years ago
- OCaml Bitstring - bitstring matching for OCaml☆66Updated last year
- Outdated version of an LLVM based backend for OCaml. Newer version:☆21Updated 13 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago
- OCaml bindings for clang☆23Updated 7 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- An OCaml library providing a C parser and lexer☆42Updated 8 months ago
- Wiki for ocaml compiler internals☆46Updated 11 years ago
- ☆49Updated 4 years ago
- The language of the future!☆72Updated last year
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago