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:
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Persistent vectors for OCaml☆41Updated 7 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Relational programming for OCaml (unreleased)☆25Updated 3 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated 2 years ago
- miniKanren in OCaml☆31Updated 2 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Ocaml bindings for lmdb.☆47Updated last week
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- Unicode text for OCaml☆14Updated 7 years ago
- A session manager for your everyday needs☆43Updated 2 years ago
- OCaml API search engine☆25Updated 8 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Updated 3 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 4 years ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- ☆20Updated 6 years ago
- ☆49Updated 4 years ago
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 4 years ago
- Matching Regular Expressions with OCaml Patterns☆55Updated 2 years ago
- HTTP/2 types and framing for ocaml☆33Updated 6 years ago
- a distributed computing library for OCaml☆24Updated last year
- Adaptive Radix Tree in OCaml☆51Updated last year
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- String searching with errors, using the Wu-Manber algorithm☆23Updated 7 months ago
- Easy to use and user-friendly topological sort module for OCaml☆22Updated 3 months ago
- Functional Priority Search Queues for OCaml☆53Updated last year
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago