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
• dbuenzli / pvec
  Persistent vectors for OCaml
  ☆41Updated 7 years ago
• dinosaure / art
  Adaptive Radix Tree in OCaml
  ☆52Updated last year
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆24Updated 3 years ago
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆30Updated 4 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• cedlemo / OCaml-Notty-introduction
  My notes about the Notty library https://github.com/pqwy/notty
  ☆44Updated 4 years ago
• aionescu / vec
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Updated last year
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• remyzorg / pendulum
  OCaml syntax extension dedicated to the programming of reactive systems on the Web.
  ☆53Updated 7 years ago
• inhabitedtype / ocaml-session
  A session manager for your everyday needs
  ☆43Updated 3 years ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆22Updated 2 weeks ago
• Drup / ocaml-lmdb
  Ocaml bindings for lmdb.
  ☆47Updated 3 months ago
• dannywillems / ocaml-cordova-plugin-list
  List of bindings in OCaml to cordova plugins.
  ☆26Updated 9 years ago
• anuragsoni / h2
  HTTP/2 types and framing for ocaml
  ☆33Updated 6 years ago
• Octachron / orec
  Open records implemented using map over universal type
  ☆34Updated 5 years ago
• nojb / ocaml-obj-printer
  ☆21Updated 6 years ago
• martinslota / protocell
  Conjures up convenient OCaml types and serialization functions based on protobuf definition files
  ☆19Updated 4 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆47Updated 9 years ago
• dbuenzli / gg
  Basic types for computer graphics in OCaml
  ☆40Updated 3 months ago
• dmbaturin / ocaml-tsort
  Easy to use and user-friendly topological sort module for OCaml
  ☆23Updated 5 months ago
• Cumulus / Syndic
  RSS and Atom feed parsing
  ☆34Updated 4 months ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 3 years ago
• kayceesrk / ezirmin
  An easy interface on top of the Irmin library.
  ☆43Updated 5 years ago
• ocsigen / macaque
  ☆38Updated 6 years ago