Alternatives and similar repositories for llir-opt

Users that are interested in llir-opt are comparing it to the libraries listed below

• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆59Updated last year
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated 2 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆35Updated 3 weeks ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆38Updated 3 years ago
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated 3 months ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆39Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆40Updated 5 months ago
• imandra-ai / ocaml-tracy
  Bindings to the Tracy profiler.
  ☆28Updated 5 months ago
• zshipko / ocaml-vec
  Example OCaml library written using Rust and ocaml-rs
  ☆16Updated 4 years ago
• samoht / depyt
  Yet another type combinator library
  ☆55Updated 3 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 6 months ago
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 11 months ago
• patricoferris / jsoo-p5
  Js_of_ocaml bindings for the p5.js library
  ☆11Updated last year
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated last week
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆39Updated last year
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated last week
• mirage / repr
  ☆31Updated 2 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 5 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 3 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 3 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆32Updated 2 years ago
• regex-generate / regenerate
  Tool to generate test-cases for regular expression engines
  ☆38Updated 2 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆27Updated 8 months ago
• aionescu / vec
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Updated last year
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 8 months ago