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 9 months ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated last year
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 2 months ago
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 10 months ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 10 months ago
• ocurrent / docker-base-images
  Generate various Docker ocaml images
  ☆31Updated last week
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• dannywillems / dsubml
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Updated 8 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 6 months ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆17Updated 3 weeks ago
• tmattio / yoshi
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Updated 2 years ago
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated 2 months ago
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆25Updated 6 months ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• mirage / ocaml-fsevents
  macOS bindings to the FSEvents API
  ☆18Updated 2 weeks ago
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated 2 years ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated 2 years ago
• smimram / snippetor
  Extract snippets from code specified by comments.
  ☆11Updated last year
• RyanGibb / eon
  Effects-based OCaml Nameserver
  ☆36Updated last week
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 6 months ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 8 months ago