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
  ☆31Updated 2 years ago
• ocurrent / ocaml-docs-ci
  CI building documentation for ALL versions of ALL packages !
  ☆17Updated this week
• haesbaert / ocaml-processor
  Cpu topology and affinity for ocaml-multicore
  ☆50Updated 4 months ago
• kit-ty-kate / opam-grep
  Script that greps anything in the sources of every opam packages
  ☆25Updated 3 months ago
• craigfe / compact
  Memory-efficient data structures in OCaml
  ☆37Updated 4 years ago
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆19Updated last month
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆17Updated 5 years ago
• v-gb / ocamlmig
  ☆19Updated 2 months ago
• MisterDA / ocamlwalk
  The caml walks, OCaml runs
  ☆19Updated 2 years ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆33Updated last year
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago
• let-def / cmon
  A library for printing OCaml values with sharing
  ☆25Updated 3 years ago
• hannesm / patch
  line based patch, input is a unified diff
  ☆24Updated 2 months ago
• Khady / ocaml-junit
  OCaml package to produce JUnit xml reports
  ☆18Updated 3 weeks ago
• tarides / notafs
  Not a filesystem for Mirage block devices
  ☆24Updated last year
• mirage / repr
  ☆31Updated 2 months ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆40Updated last year
• panglesd / ocaml-diffutils
  An ocaml library for manipulating diffs.
  ☆19Updated last year
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆39Updated 6 months ago
• dinosaure / hxd
  J'ai plus mal à la tête maintenant
  ☆25Updated last month
• gs0510 / ofronds
  ☆22Updated 4 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆49Updated 3 years ago
• patricoferris / omditor
  Irmin-based Markdown Editor
  ☆49Updated 3 years ago
• mirage / ocaml-magic-mime
  Convert file extensions to MIME types
  ☆23Updated 2 years ago
• ocaml-doc / odoc-parser
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆16Updated 2 years ago
• ocamllibs / stdcompat
  Stdcompat: compatibility module for OCaml standard library
  ☆33Updated 3 months ago
• dariusf / ppx_polyprint
  A small library for convenient printf debugging and function tracing
  ☆26Updated 3 years ago
• dinosaure / paf-le-chien
  Port of HTTP/AF & H2 with Mirage and mimic
  ☆30Updated 11 months ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 10 months ago