Alternatives and similar repositories for ocaml-prolog:

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

• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆44Updated 5 years ago
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• nojb / ocaml-graphics-osx
  Cocoa drop-in replacement for OCaml graphics module running under OS X (WIP)
  ☆10Updated 8 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• mcclure / ppx_const
  A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.
  ☆21Updated 4 years ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 2 years ago
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 5 months ago
• mlin / should.ml
  Literate assertions for OCaml
  ☆18Updated 5 years ago
• slegrand45 / mysql_protocol
  OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
  ☆14Updated 2 years ago
• ShamoX / cash
  Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…
  ☆11Updated 11 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆25Updated 8 months ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• ohad / SIGPLAN-Most-Influential-POPL-Papers
  ☆11Updated 10 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 2 years ago
• ocaml-community / ISO8601.ml
  Parser and printer for date-times in ISO8601
  ☆29Updated 11 months ago
• c-cube / olinq
  LINQ-like combinators for manipulating collections of in-memory data
  ☆17Updated 4 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆30Updated 13 years ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆32Updated 11 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆39Updated 2 years ago
• ygrek / opam-bundle
  small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2
  ☆18Updated 9 years ago
• janestreet-deprecated / ppx_core
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆10Updated 6 years ago
• mor1 / ocaml-bitstring
  mirror of http://code.google.com/p/bitstring
  ☆15Updated 8 years ago