Alternatives and similar repositories for ollvm

Users that are interested in ollvm are comparing it to the libraries listed below

• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆103Updated 4 years ago
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆21Updated 8 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆147Updated 7 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆73Updated 5 years ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆191Updated 2 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 3 months ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆148Updated 2 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆111Updated 2 years ago
• camlp4 / camlp4
  Camlp4 tool
  ☆102Updated 8 months ago
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆111Updated 5 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆123Updated last month
• johnwhitington / ocamli
  OCaml interpreter
  ☆102Updated 5 years ago
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated 3 weeks ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 3 weeks ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated 2 weeks ago
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆127Updated 5 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆146Updated 3 weeks ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆90Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 11 years ago
• vellvm / vellvm-legacy
  ☆33Updated 10 years ago
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆204Updated last year
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆67Updated 3 years ago
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆109Updated 2 weeks ago
• ocaml / ocamlbuild
  The legacy OCamlbuild build manager
  ☆128Updated last week
• termite-analyser / z3overlay
  An overlay for the OCaml Z3 binding.
  ☆34Updated 2 years ago
• yallop / fomega
  System Fω interpreter for use in Advanced Functional Programming course
  ☆66Updated last year
• stevenvar / OMicroB
  An OCaml generic virtual machine for microcontrollers
  ☆148Updated 9 months ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated 2 weeks ago