Alternatives and similar repositories for llvmgraph:

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

• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆16Updated 2 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated last month
• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 7 years ago
• apatil / ocaml-vega-lite
  Complete, typesafe representation of Vega-Lite in OCaml
  ☆10Updated 7 years ago
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• UnixJunkie / vp-tree
  Vantage point tree implementation in OCaml
  ☆19Updated 3 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 7 months ago
• Antique-team / memcad
  The MemCAD static analyzer
  ☆25Updated 3 years ago
• Antique-team / clangml
  OCaml bindings for clang
  ☆23Updated 6 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• arlencox / QUICr
  QUICr parametric abstract domain for sets
  ☆12Updated 9 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆52Updated 2 months ago
• SumitPadhiyar / confuzz
  Concurrency property fuzzing tool for Lwt-based OCaml programs
  ☆29Updated 3 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated last year
• patricoferris / jsoo-p5
  Js_of_ocaml bindings for the p5.js library
  ☆11Updated 9 months ago
• Chris00 / mesh
  Triangular mesh generation and manipulation
  ☆12Updated 3 years ago
• OCamlPro / digodoc
  Dig into an opam switch for doc
  ☆10Updated 2 years ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆29Updated 2 months ago
• mirleft / libnqsb-tls
  OCaml-TLS exposed to C
  ☆23Updated 6 years ago
• ujamjar / ctypes_of_clang
  Convert C-code to OCaml Ctypes via Clang
  ☆18Updated 5 years ago
• arlencox / SETr
  Abstract domain library for sets
  ☆9Updated last year
• janestreet / zstandard
  OCaml bindings to Zstandard
  ☆24Updated 2 months ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated 10 months ago
• afiniate / aws_async
  An Ocaml AWS Client SDK based on Jane Streets Core & Async libraries
  ☆10Updated 9 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 2 years ago
• mirage / mirage-xen
  Xen core platform libraries for MirageOS
  ☆18Updated 2 weeks ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated last month
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago