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
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- ☆38Updated 5 years ago
- The language of the future!☆72Updated last year
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- Distributed computing library☆35Updated 7 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 9 months ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆21Updated 13 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- Light library to deal with RPCs in OCaml☆98Updated last month
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- An overlay for the OCaml Z3 binding.☆34Updated 2 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
- An higher-level LLVM binding for OCaml☆131Updated 10 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 11 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆102Updated 4 months ago
- ☆22Updated 9 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Pure OCaml implementation of Zlib.☆119Updated 8 months ago
- Simple implementation of a parsing algorithm inspired by Earley☆15Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- An example of a simple project in OCaml that uses Merlin☆36Updated 10 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 7 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆66Updated last year