Alternatives and similar repositories for phox

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

• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 7 months ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 8 months ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated last year
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 4 months ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 7 months ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 8 months ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year
• igarnier / clustering
  An OCaml clustering library
  ☆20Updated 4 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆25Updated 4 months ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆35Updated this week
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆15Updated last week
• smimram / snippetor
  Extract snippets from code specified by comments.
  ☆11Updated 11 months ago
• RyanGibb / eon
  Effects-based OCaml Nameserver
  ☆24Updated 4 months ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆14Updated 10 months ago
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated last week
• ocurrent / docker-base-images
  Generate various Docker ocaml images
  ☆31Updated this week
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 2 weeks ago
• dbuenzli / stdlib-utf
  Add UTF decoding support to the OCaml Stdlib
  ☆16Updated 3 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆49Updated 8 months ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago