mk270 / ocaml-prolog

Related projects ⓘ

Alternatives and complementary repositories for ocaml-prolog

• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆39Updated 2 years ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆43Updated 4 years ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 2 years ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆32Updated 2 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆24Updated 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
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 6 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• dbuenzli / gg
  Basic types for computer graphics in OCaml
  ☆41Updated 3 weeks ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 3 months ago
• tarides / river
  A planet (feed aggregator) for OCaml.
  ☆26Updated 2 weeks ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 3 weeks ago
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• ocsigen / macaque
  ☆38Updated 5 years ago
• backtracking / ptmap
  Implementation of maps of integers with Patricia trees
  ☆20Updated 4 years ago
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• OCamlPro / ocamlexc
  OCaml uncaught exception analyser
  ☆12Updated 12 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆33Updated 2 weeks ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆34Updated 2 months ago
• mirage / retreat-website
  Microsite for the MirageOS hack retreats
  ☆13Updated 3 weeks ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• ocaml-community / ISO8601.ml
  Parser and printer for date-times in ISO8601
  ☆29Updated 9 months ago
• dbuenzli / pvec
  Persistent vectors for OCaml
  ☆41Updated 6 years ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated last month