Alternatives and similar repositories for llir-opt

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

• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆58Updated last year
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated 11 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated last year
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 7 months ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• well-typed-lightbulbs / ocaml-baremetal-esp32
  ☆17Updated 6 years ago
• jmid / wasm-prop-tester
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Updated 3 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 3 months ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆40Updated 2 weeks ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated last month
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆36Updated 4 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 3 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• c-cube / oseq
  Purely functional iterators compatible with standard `seq`.
  ☆31Updated last year
• aionescu / vec
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Updated last year
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated last month
• tarides / cactus
  A Btree library in OCaml
  ☆18Updated 2 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated last year
• pqwy / unmark
  Painless micro-benchmarks
  ☆20Updated 6 years ago
• c-cube / ocaml-avro
  Runtime library and schema compiler for the Avro serialization format
  ☆21Updated 3 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆39Updated last year