Alternatives and similar repositories for phox

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

• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated last year
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 6 months ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 7 months ago
• smimram / snippetor
  Extract snippets from code specified by comments.
  ☆11Updated 10 months ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 7 months ago
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆25Updated 3 months ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 6 months ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆32Updated 2 years ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆17Updated last year
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆33Updated last week
• ocurrent / docker-base-images
  Generate various Docker ocaml images
  ☆31Updated last week
• igarnier / clustering
  An OCaml clustering library
  ☆20Updated 4 years ago
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• mirage / ezjsonm
  An easy interface on top of the Jsonm library.
  ☆42Updated 4 months ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆16Updated 2 months ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 3 months ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 5 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• dbuenzli / stdlib-utf
  Add UTF decoding support to the OCaml Stdlib
  ☆16Updated 2 years ago