Alternatives and similar repositories for ocaml-llvm-tutorial:

Users that are interested in ocaml-llvm-tutorial are comparing it to the libraries listed below

• termite-analyser / z3overlay
  An overlay for the OCaml Z3 binding.
  ☆35Updated 2 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 7 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 2 months ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 4 months ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆100Updated last year
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆16Updated 2 years ago
• maximedenes / coq-amd64
  ☆22Updated 8 years ago
• derdon / menhir-example
  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
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 4 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆96Updated 3 months ago
• ocaml-multicore / multicore-opam
  OPAM repo for OCaml multicore development
  ☆51Updated 2 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• objmagic / jaw
  Code using GADT
  ☆37Updated 3 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• lastland / WebSpec
  ☆18Updated 7 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated last month
• rvantonder / hack_parallel
  The core parallel and shared memory library used by Hack, Flow, and Pyre
  ☆41Updated 3 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated last year
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• termite-analyser / llvm2smt
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Updated 6 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated 11 months ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago