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
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆147Updated 7 years ago
• stedolan / crowbar
  Property fuzzing for OCaml
  ☆191Updated 2 years ago
• chifflier / ocaml-llvm-tutorial
  OCaml LLVM bindings tutorial
  ☆21Updated 8 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆102Updated 4 months ago
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆112Updated 6 months ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆113Updated 2 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆60Updated 5 years 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
• camlp5 / camlp5
  Preprocessor / Pretty Printer for OCaml
  ☆76Updated last month
• ocaml-community / cppo
  C-style preprocessor for OCaml
  ☆111Updated last month
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• mirage / decompress
  Pure OCaml implementation of Zlib.
  ☆119Updated 8 months ago
• pyrocat101 / opal
  Self-contained monadic parser combinators for OCaml
  ☆148Updated 2 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆98Updated last month
• stevenvar / OMicroB
  An OCaml generic virtual machine for microcontrollers
  ☆151Updated this week
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆127Updated 6 months ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆35Updated 11 years ago
• termite-analyser / z3overlay
  An overlay for the OCaml Z3 binding.
  ☆34Updated 2 years ago
• camlp4 / camlp4
  Camlp4 tool
  ☆102Updated 9 months ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆101Updated last year
• OCamlPro / alt-ergo
  OCamlPro public development repository for Alt-Ergo
  ☆139Updated 2 weeks ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆123Updated 2 months ago
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆68Updated 3 years ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 4 years ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆134Updated 8 months ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆126Updated last year
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆105Updated this week
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 11 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year