Alternatives and similar repositories for Logical

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

• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆48Updated last year
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated 2 years ago
• samoht / depyt
  Yet another type combinator library
  ☆55Updated 3 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• dinosaure / art
  Adaptive Radix Tree in OCaml
  ☆52Updated last year
• camlspotter / ocamloscope
  OCaml API search engine
  ☆24Updated 9 years ago
• dbuenzli / pvec
  Persistent vectors for OCaml
  ☆41Updated 7 years ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆36Updated 5 months ago
• dannywillems / ocaml-cordova-plugin-list
  List of bindings in OCaml to cordova plugins.
  ☆26Updated 9 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆27Updated 2 years ago
• anuragsoni / h2
  HTTP/2 types and framing for ocaml
  ☆33Updated 6 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago
• mirage / ocaml-tar
  Pure OCaml library to read and write tar files
  ☆55Updated 2 months ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆22Updated 2 months ago
• Cumulus / Syndic
  RSS and Atom feed parsing
  ☆34Updated 6 months ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆24Updated 3 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 11 months ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• ocsigen / macaque
  ☆38Updated 6 years ago
• tomjridge / tjr_btree
  B-tree (Bayer, not binary) library in OCaml
  ☆40Updated 3 years ago
• Drup / ocaml-lmdb
  Ocaml bindings for lmdb.
  ☆47Updated this week
• Octachron / orec
  Open records implemented using map over universal type
  ☆34Updated 5 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆56Updated last year
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• jmid / qcstm
  A simple state-machine framework for OCaml based on QCheck
  ☆67Updated 4 years ago
• dmbaturin / ocaml-tsort
  Easy to use and user-friendly topological sort module for OCaml
  ☆23Updated 7 months ago
• reynir / ocp-index-top
  ☆20Updated 11 months ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆52Updated 7 years ago