Alternatives and similar repositories for zrun

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

• robur-coop / ohex
  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
  ☆10Updated last year
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago
• Armael / lam
  ☆15Updated 9 years ago
• jmid / mirage-hole
  ☆16Updated last month
• let-def / lrgrep-ocaml
  Applying LRGrep to OCaml frontend
  ☆12Updated 2 months ago
• codex-semantics-library / codex
  The main codex repository
  ☆19Updated 8 months ago
• gdeest / ocaml-isl
  OCaml bindings for the Integer Set Library.
  ☆13Updated 10 years ago
• robur-coop / miou-solo5
  ☆12Updated this week
• backtracking / ocaml-bazaar
  ☆14Updated last week
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆16Updated 6 months ago
• avsm / opam-boot
  Bootstrap scripts to build standalone OPAM projects
  ☆15Updated 7 years ago
• MisterDA / ocamlwalk
  The caml walks, OCaml runs
  ☆19Updated last year
• boystrange / FuSe
  A simple library implementation of binary sessions
  ☆10Updated 11 months ago
• rocq-community / mmaps
  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
  ☆12Updated 11 months ago
• Octachron / format-doc
  Alternative interpreter for OCaml format strings
  ☆15Updated 2 years ago
• nojb / ocaml-macaroons
  A minimal reimplementation of libmacaroons in OCaml
  ☆9Updated 7 years ago
• yallop / ocaml-charset
  Fast char sets
  ☆19Updated last month
• geocaml / ocaml-topojson
  A pure OCaml library for working with the TopoJSON format
  ☆11Updated 2 years ago
• chambart / ocaml-nullable-array
  Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
  ☆17Updated 4 years ago
• yallop / ocaml-syb
  Scrap Your Boilerplate for OCaml with modular implicits
  ☆19Updated last year
• gasche / opam-compiler-conf
  A small script to create short-lived OPAM compiler switches from experimental OCaml branches
  ☆18Updated 6 years ago
• robur-coop / mirage-monitoring
  mirror of https://git.robur.coop/robur/mirage-monitoring
  ☆13Updated 3 months ago
• Octachron / ffmt
  Format string experimentations
  ☆13Updated 3 years ago
• kit-ty-kate / mirage-torrent
  WIP
  ☆16Updated 8 months ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆18Updated 2 months ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated 2 months ago
• samoht / ciso
  A distributed Continuous Integration engine for opam packages
  ☆17Updated 3 years ago
• rand00 / conntest
  MirageOS unikernel to test networking
  ☆16Updated 2 years ago
• Firobe / ocaml-stdint-literals
  Small PPX for fixed size integer literals
  ☆10Updated 2 years ago