Alternatives and similar repositories for zrun

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

• Armael / lam
  ☆15Updated 9 years ago
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 3 years ago
• let-def / lrgrep-ocaml
  Applying LRGrep to OCaml frontend
  ☆12Updated 2 months ago
• gdeest / ocaml-isl
  OCaml bindings for the Integer Set Library.
  ☆13Updated 11 years ago
• yallop / ocaml-syb
  Scrap Your Boilerplate for OCaml with modular implicits
  ☆19Updated last year
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• robur-coop / ohex
  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
  ☆10Updated last year
• MisterDA / ocamlwalk
  The caml walks, OCaml runs
  ☆19Updated last year
• Drup / pumping
  Regular languages in types
  ☆22Updated 7 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
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆16Updated 5 years ago
• jmid / mirage-hole
  ☆16Updated last week
• backtracking / ocaml-bazaar
  ☆14Updated last week
• 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
• codex-semantics-library / codex
  The main codex repository
  ☆23Updated 8 months ago
• sanette / snoke
  Snóke is a good old Snake game with new ideas
  ☆21Updated 2 years ago
• yallop / ocaml-charset
  Fast char sets
  ☆19Updated last month
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆14Updated 6 months ago
• ncannasse / xml-light
  fork of Xml-light
  ☆18Updated last month
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated this week
• 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
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 3 months ago
• mirage / mirage-vnetif
  Virtual network interface and software bridge for Mirage
  ☆16Updated 3 months ago
• Octachron / talaria_bibtex
  A bibtex file parser
  ☆21Updated last year
• OCamlPro / flambda-task-force
  ☆13Updated 5 years ago
• francoisthire / bam
  A PBT framework
  ☆9Updated last month