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☆26Updated 3 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 11 months ago
- Persistent vectors for OCaml☆41Updated 7 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated 2 years ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- A session manager for your everyday needs☆43Updated 2 years ago
- UTF-8 string literals and patterns for OCaml (unreleased)☆21Updated 10 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆15Updated 7 years ago
- Unicode character database decoder for OCaml☆17Updated 4 months ago
- Reactive programming… in the shell☆30Updated 7 years ago
- Adaptive Radix Tree in OCaml☆51Updated 11 months ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- a distributed computing library for OCaml☆24Updated last year
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆29Updated 2 years ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- Trivial Metaprogramming tool using the OCaml toplevel☆55Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- ☆20Updated 6 years ago
- OCaml API search engine☆25Updated 8 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 4 years ago
- Lazy prefix trees in OCaml☆23Updated 5 years ago
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- Monotonic wall-clock time for OCaml☆34Updated 10 months ago
- An easy interface on top of the Irmin library.☆45Updated 5 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Binding OCaml for NodeJS (main functions) using gen_js_api☆20Updated 8 years ago
- Notes and findings from our OCaml benchmarking adventures☆49Updated 2 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago