Alternatives and similar repositories for memtrace

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

• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated 11 months ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆61Updated 2 weeks ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated 2 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆52Updated last week
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆51Updated 2 weeks ago
• ocaml-multicore / ocaml-uring
  Bindings to io_uring for OCaml
  ☆63Updated 2 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆47Updated 6 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆44Updated 2 years ago
• dbuenzli / fmt
  OCaml Format pretty-printer combinators
  ☆77Updated 4 months ago
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆118Updated 2 months ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆61Updated 6 months ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆85Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆45Updated last week
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆153Updated last week
• modular-macros / ocaml-macros
  OCaml with macros
  ☆60Updated last month
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆117Updated last month
• avsm / ocaml-print-intf
  Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
  ☆42Updated 3 years ago
• ocaml-multicore / meio
  Monitor Eio programs
  ☆81Updated 2 weeks ago
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆65Updated 11 months ago
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆85Updated last year
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated 9 months ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• ocamllibs / metaquot
  OCaml syntax extension for quoting code
  ☆27Updated 3 months ago
• ocaml-dune / pp
  Pretty printing library
  ☆55Updated last year
• ocamllibs / refl
  OCaml PPX deriver for reflection
  ☆53Updated 3 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated last year
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆75Updated last month
• upenn-cis1xx / camelot
  A fully-modular OCaml style linter
  ☆45Updated 2 months ago