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 2 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 10 years ago
• dbuenzli / sexpm
  s-expression codecs and updates for OCaml
  ☆12Updated 8 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆44Updated 5 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…
  ☆46Updated last year
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 2 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• OCamlPro / ocplib-endian
  Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.
  ☆14Updated 2 years ago
• mfp / ld.ocaml
  Dynamic loader for OCaml
  ☆14Updated 15 years ago
• mlin / should.ml
  Literate assertions for OCaml
  ☆18Updated 5 years ago
• voodoos / mlts
  ☆11Updated 2 years ago
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• jmid / qc-ptrees
  A model-based QuickCheck test of ptrees (Patricia trees)
  ☆12Updated 5 years ago
• frex-project / metaocaml-frex
  ☆20Updated this week
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 9 months ago
• stevenvar / OCaLustre
  OCaml syntax extension for synchronous programming...
  ☆31Updated last year
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• c-cube / olinq
  LINQ-like combinators for manipulating collections of in-memory data
  ☆17Updated 4 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated 3 months ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆34Updated 11 years ago
• let-def / camlroot
  A safer C FFI for OCaml
  ☆18Updated 6 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• brick-lang / kekka
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆14Updated 4 years ago
• ISANobody / sill
  ☆29Updated 9 years ago