Alternatives and similar repositories for zrun:

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

• Armael / lam
  ☆15Updated 8 years ago
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 2 years ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• codex-semantics-library / codex
  The main codex repository
  ☆16Updated 5 months ago
• robur-coop / ohex
  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
  ☆10Updated 11 months ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆17Updated 5 months ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆15Updated 3 months ago
• MisterDA / ocamlwalk
  The caml walks, OCaml runs
  ☆18Updated last year
• francoisthire / bam
  A PBT framework
  ☆9Updated last week
• yallop / ocaml-syb
  Scrap Your Boilerplate for OCaml with modular implicits
  ☆19Updated last year
• backtracking / ocaml-bazaar
  ☆14Updated this week
• yallop / ocaml-charset
  Fast char sets
  ☆19Updated 2 years ago
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆16Updated 4 years ago
• avsm / opam-boot
  Bootstrap scripts to build standalone OPAM projects
  ☆15Updated 7 years ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆15Updated last year
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated last year
• Octachron / format-doc
  Alternative interpreter for OCaml format strings
  ☆15Updated last year
• nojb / ocaml-macaroons
  A minimal reimplementation of libmacaroons in OCaml
  ☆9Updated 7 years ago
• thery / PolTac
  Tactic for polynomial manipulations
  ☆10Updated last year
• jmid / mirage-hole
  ☆14Updated 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 3 years ago
• bvaugon / ocamlclean
  OCaml Bytecode Cleaner
  ☆14Updated 2 years ago
• ocaml-semver / ocaml-api-watch
  Libraries and tools to keep watch on you OCaml lib's API changes
  ☆22Updated this week
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆40Updated 8 months ago
• AltGr / opam-ed
  A small command-line tool to help with mechanical edition of opam files
  ☆10Updated last year
• Firobe / ocaml-stdint-literals
  Small PPX for fixed size integer literals
  ☆10Updated 2 years ago
• CatalaLang / dates-calc
  Formally specified computations on dates
  ☆12Updated 4 months ago
• yallop / ocaml-safe-string-buffer
  A buffer implementation optimized for immutable strings.
  ☆15Updated 9 years ago