Alternatives and similar repositories for llvmgraph:

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

• ujamjar / hardcaml-llvmsim
  LLVM JIT Cycle Accurate Simulator for HardCaml
  ☆13Updated 7 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• c-cube / sidekick
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆24Updated 2 months ago
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 8 months ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆16Updated 3 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆54Updated 3 weeks ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated last month
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 2 months ago
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated 4 months ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 2 years ago
• nojb / ocaml-dht
  OCaml bindings for jech/dht
  ☆23Updated 4 years ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆56Updated last year
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated 11 months ago
• jmid / efftester
  Effect-Driven Compiler Tester for OCaml
  ☆38Updated 5 years ago
• let-def / owee
  OCaml library to work with DWARF format
  ☆34Updated last month
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 2 months ago
• ocamllabs / ocaml-internals
  Wiki for ocaml compiler internals
  ☆45Updated 11 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆34Updated 10 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 2 years ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• UnixJunkie / vp-tree
  Vantage point tree implementation in OCaml
  ☆19Updated 3 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• Antique-team / memcad
  The MemCAD static analyzer
  ☆25Updated 3 years ago
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year