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
  ☆30Updated last year
• panglesd / ocaml-diffutils
  An ocaml library for manipulating diffs.
  ☆19Updated last year
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆37Updated 8 months ago
• kit-ty-kate / opam-grep
  Script that greps anything in the sources of every opam packages
  ☆24Updated 2 years ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆29Updated last year
• ocaml-doc / odoc-parser
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆16Updated last year
• polytypic / io
  IO should be just a library
  ☆23Updated last year
• dinosaure / paf-le-chien
  Port of HTTP/AF & H2 with Mirage and mimic
  ☆30Updated last month
• ocaml-multicore / ocaml-tsan
  Race detection in OCaml using the ThreadSanitizer runtime analysis.
  ☆20Updated last month
• ocurrent / ocaml-docs-ci
  CI building documentation for ALL versions of ALL packages !
  ☆17Updated last month
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated last year
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated last year
• LexiFi / lrt
  LexiFi runtime types
  ☆32Updated 4 years ago
• hannesm / patch
  line based patch, input is a unified diff
  ☆24Updated last week
• robur-coop / utcp
  An implementation of the Transmission Control Protocol in OCaml
  ☆29Updated 2 weeks ago
• let-def / cmon
  A library for printing OCaml values with sharing
  ☆24Updated 2 years ago
• dariusf / ppx_interact
  Interactive breakpoints!
  ☆43Updated 10 months ago
• craigfe / compact
  Memory-efficient data structures in OCaml
  ☆37Updated 3 years ago
• patricoferris / omditor
  Irmin-based Markdown Editor
  ☆46Updated 2 years ago
• geocaml / carbon-intensity
  An HTTP client for accessing various carbon intensity APIs
  ☆25Updated 3 months ago
• mseri / md2mld
  Little cli to convert md files into mld files
  ☆26Updated last month
• dbuenzli / note
  Declarative events and signals for OCaml
  ☆50Updated 11 months ago
• mirage / repr
  ☆31Updated last year
• mirage / optint
  Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)
  ☆24Updated last week
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 5 months ago
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆16Updated 4 years ago
• ocaml-doc / voodoo
  ☆14Updated 11 months ago
• ocamllibs / stdcompat
  Stdcompat: compatibility module for OCaml standard library
  ☆32Updated 2 weeks ago
• gs0510 / ofronds
  ☆22Updated 3 years ago