Alternatives and similar repositories for clangml

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

• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆37Updated 11 months ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆81Updated 11 months ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆42Updated this week
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated 9 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆46Updated last week
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated 2 weeks ago
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆39Updated 11 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆133Updated 5 months ago
• dariusf / ppx_interact
  Interactive breakpoints!
  ☆43Updated last year
• Lelio-Brun / Obelisk
  A simple multi-format pretty-printer for Menhir.
  ☆57Updated 3 months ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 2 months ago
• Armael / lam
  ☆15Updated 9 years ago
• pedrobslisboa / ppx-by-example
  This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
  ☆41Updated 6 months ago
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 8 months ago
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆18Updated last year
• ocamllibs / refl
  OCaml PPX deriver for reflection
  ☆52Updated 2 years ago
• lukstafi / ppx_minidebug
  Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…
  ☆28Updated this week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated last week
• art-w / x-ocaml
  OCaml notebooks as a WebComponent
  ☆33Updated last month
• fdopen / ppx_cstubs
  preprocessor for easier stub generation with ocaml-ctypes
  ☆56Updated 2 years ago
• mooreryan / ocaml_python_bindgen
  Generate Python bindings via pyml from OCaml value specifications
  ☆30Updated 2 years ago
• Kakadu / zanuda
  OCaml linter
  ☆77Updated 3 weeks ago
• upenn-cis1xx / camelot
  A fully-modular OCaml style linter
  ☆45Updated 4 months ago
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆40Updated last week
• mjambon / cmdliner-cheatsheet
  Cheatsheet for adding command-line options to an OCaml program using cmdliner
  ☆64Updated 3 years ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆43Updated last year
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆118Updated 2 months ago
• progman1 / genprintlib
  general value printing within compiled programs
  ☆31Updated 4 years ago
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated 2 months ago