Alternatives and similar repositories for ocaml-llvm-tutorial:

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

• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆34Updated 11 years ago
• colinbenner / ocaml-llvm
  Outdated version of an LLVM based backend for OCaml. Newer version:
  ☆20Updated 13 years ago
• termite-analyser / z3overlay
  An overlay for the OCaml Z3 binding.
  ☆34Updated 2 years ago
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 8 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 5 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 4 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• vellvm / ollvm
  An higher-level LLVM binding for OCaml
  ☆14Updated 8 years ago
• seplogic / corestar
  coreStar is a symbolic execution engine for analysis and verification with separation logic
  ☆25Updated 7 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆16Updated 8 months ago
• Antique-team / memcad
  The MemCAD static analyzer
  ☆25Updated 3 years ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆16Updated 3 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆42Updated this week
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆89Updated 6 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• tomjridge / tjr_simple_earley
  Simple implementation of a parsing algorithm inspired by Earley
  ☆14Updated 3 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 2 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated 2 months ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆39Updated 2 years ago
• matthesjh / coq-tal
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆17Updated last year