Alternatives and similar repositories for ocaml-datalog

Users that are interested in ocaml-datalog are comparing it to the libraries listed below

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• racket / datalog
  ☆46Updated 3 weeks ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated 2 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• mirage / ocaml-tar
  Pure OCaml library to read and write tar files
  ☆56Updated 3 months ago
• ocaml-community / ISO8601.ml
  Parser and printer for date-times in ISO8601
  ☆29Updated last year
• ocsigen / macaque
  ☆38Updated 5 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last week
• aryx / xix
  Plan9 software ported to OCaml
  ☆31Updated this week
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 5 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated last week
• janestreet / sexp
  S-expression swiss knife
  ☆45Updated 3 weeks ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆61Updated 5 years ago
• NVIDIA / remorac
  ☆38Updated 9 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• foretspaisibles / ocaml-rashell
  Resilient replicant Shell Programming Library
  ☆37Updated 8 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆33Updated 11 years ago
• StrykerKKD / Logical
  Minimalistic logic programming framework
  ☆22Updated 5 years ago
• prologbyexample / code
  ☆29Updated 2 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆97Updated 2 months ago
• mfp / obigstore
  obigstore: database with BigTable-like data model atop LevelDB
  ☆43Updated 7 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 5 months ago
• let-def / grenier
  Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
  ☆67Updated 11 months ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago