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☆60Updated 5 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆102Updated 3 months ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- ☆26Updated 3 years ago
- The language of the future!☆72Updated last year
- OCaml bytecode to C compiler☆103Updated 4 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…☆55Updated 13 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Light library to deal with RPCs in OCaml☆98Updated 2 weeks ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An OCaml library providing a C parser and lexer☆42Updated 9 months ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- An higher-level LLVM binding for OCaml☆131Updated 9 years ago
- OCaml interpreter☆102Updated 5 years ago
- ☆49Updated 4 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
- ☆22Updated 9 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- Parser for the llvm bitcode format☆59Updated last week
- An example of a simple project in OCaml that uses Merlin☆36Updated 10 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Examples from the class CMSC 330 during Summer 2015☆48Updated 10 years ago
- ☆38Updated 5 years ago