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
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• codex-semantics-library / codex
  The main codex repository
  ☆19Updated 7 months ago
• Armael / pp_loc
  Pretty-printing for error source locations
  ☆36Updated 2 years ago
• termite-analyser / z3overlay
  An overlay for the OCaml Z3 binding.
  ☆34Updated 2 years ago
• let-def / lrgrep-ocaml
  Applying LRGrep to OCaml frontend
  ☆12Updated last month
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆16Updated 5 months ago
• backtracking / ocaml-bazaar
  ☆14Updated 3 weeks ago
• rocq-community / mmaps
  Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
  ☆12Updated 10 months ago
• nojb / ocaml-macaroons
  A minimal reimplementation of libmacaroons in OCaml
  ☆9Updated 7 years ago
• jmid / mirage-hole
  ☆16Updated 3 weeks ago
• avsm / opam-boot
  Bootstrap scripts to build standalone OPAM projects
  ☆15Updated 7 years ago
• yallop / ocaml-syb
  Scrap Your Boilerplate for OCaml with modular implicits
  ☆19Updated last year
• arlencox / mlbdd
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Updated 3 years ago
• Armael / ocaml-wlc
  Experimental OCaml bindings for Wlc
  ☆16Updated 10 years ago
• gdeest / ocaml-isl
  OCaml bindings for the Integer Set Library.
  ☆13Updated 10 years ago
• robur-coop / ohex
  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex
  ☆10Updated last year
• pqwy / ocaml-papi
  Performance Application Programming Interface for OCaml
  ☆16Updated 2 years ago
• ktahar / ocaml-lp
  LP and MIP modeling in OCaml
  ☆28Updated last month
• 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
• palainp / mirage-sshfs
  ☆21Updated last year
• Chris00 / ocaml-interval
  An interval library for OCaml
  ☆16Updated 2 years ago
• AltGr / opam-ed
  A small command-line tool to help with mechanical edition of opam files
  ☆10Updated last year
• Drup / pumping
  Regular languages in types
  ☆22Updated 7 years ago
• gasche / opam-compiler-conf
  A small script to create short-lived OPAM compiler switches from experimental OCaml branches
  ☆18Updated 6 years ago
• OCamlPro / flambda-task-force
  ☆13Updated 5 years ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆17Updated last month
• ciaran16 / shell
  Lets you create interactive shells in OCaml.
  ☆11Updated 8 years ago
• kit-ty-kate / mirage-torrent
  WIP
  ☆16Updated 7 months ago
• Octachron / format-doc
  Alternative interpreter for OCaml format strings
  ☆15Updated 2 years ago