Alternatives and similar repositories for mcavl:

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

• fabbing / obts_exn
  OCaml behind the scenes: exceptions
  ☆29Updated last year
• kit-ty-kate / opam-grep
  Script that greps anything in the sources of every opam packages
  ☆24Updated 2 years ago
• ocurrent / ocaml-docs-ci
  CI building documentation for ALL versions of ALL packages !
  ☆17Updated last month
• craigfe / compact
  Memory-efficient data structures in OCaml
  ☆37Updated 3 years ago
• patricoferris / omditor
  Irmin-based Markdown Editor
  ☆46Updated 2 years ago
• let-def / cmon
  A library for printing OCaml values with sharing
  ☆24Updated 2 years ago
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated 10 months ago
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆16Updated 4 years ago
• ocaml-doc / odoc-parser
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆15Updated last year
• panglesd / ocaml-diffutils
  An ocaml library for manipulating diffs.
  ☆19Updated 11 months ago
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated last year
• mirage / repr
  ☆31Updated last year
• mirage / optint
  Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
  ☆23Updated last year
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆37Updated 6 months ago
• LexiFi / lrt
  LexiFi runtime types
  ☆32Updated 4 years ago
• dariusf / ppx_interact
  Interactive breakpoints!
  ☆43Updated 8 months ago
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆24Updated 2 years ago
• ocaml-multicore / ocaml-tsan
  Race detection in OCaml using the ThreadSanitizer runtime analysis.
  ☆20Updated last year
• dinosaure / hxd
  J'ai plus mal à la tête maintenant
  ☆26Updated last month
• dinosaure / paf-le-chien
  Port of HTTP/AF & H2 with Mirage and mimic
  ☆30Updated 4 months ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆29Updated 10 months ago
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆37Updated this week
• Khady / ocaml-junit
  OCaml package to produce JUnit xml reports
  ☆18Updated 2 weeks ago
• thierry-martinez / stdcompat
  Stdcompat: compatibility module for OCaml standard library
  ☆31Updated 7 months ago
• dariusf / ppx_polyprint
  A small library for convenient printf debugging and function tracing
  ☆27Updated 2 years ago
• mirage / ocaml-magic-mime
  Convert file extensions to MIME types
  ☆23Updated last year
• robur-coop / utcp
  An implementation of the Transmission Control Protocol in OCaml
  ☆28Updated 4 months ago
• geocaml / carbon-intensity
  An HTTP client for accessing various carbon intensity APIs
  ☆24Updated last month
• mirage / bechamel
  Agnostic benchmark in OCaml (proof-of-concept)
  ☆43Updated 6 months ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago