StrykerKKD / LogicalLinks
Minimalistic logic programming framework
☆22Updated 5 years ago
Alternatives and similar repositories for Logical
Users that are interested in Logical are comparing it to the libraries listed below
Sorting:
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- ☆20Updated 6 years ago
- Persistent vectors for OCaml☆41Updated 7 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 10 months ago
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 4 years ago
- a distributed computing library for OCaml☆24Updated last year
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated 2 years ago
- Monotonic wall-clock time for OCaml☆34Updated 8 months ago
- Adaptive Radix Tree in OCaml☆51Updated 9 months ago
- List of bindings in OCaml to cordova plugins.☆27Updated 8 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Lazy prefix trees in OCaml☆23Updated 5 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆44Updated 5 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 3 years ago
- HTTP/2 types and framing for ocaml☆33Updated 6 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 4 years ago
- Fast msgpack library for OCaml☆26Updated 3 years ago
- Experimental vendoring of Platform tools☆22Updated 2 years ago
- OCaml API search engine☆25Updated 8 years ago
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 4 months ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- Efficient Bloom filters for OCaml☆37Updated 3 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago