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
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- The language of the future!☆72Updated last year
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 6 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- MoCHi: Model Checker for Higher-Order Programs☆41Updated last year
- Parser for the llvm bitcode format☆60Updated last week
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- ☆22Updated 8 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
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆20Updated 13 years ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- An higher-level LLVM binding for OCaml☆14Updated 7 years ago
- Linux kernel library functions formally verified.☆49Updated 4 years ago
- Make OCaml native debugging awesome☆32Updated 5 years ago
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 2 years ago
- Multiparty Session Types in OCaml☆57Updated 3 months ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Updated 7 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Property fuzzing for OCaml☆188Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Code using GADT☆37Updated 3 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year