StrykerKKD / Logical
Minimalistic logic programming framework
☆23Updated 5 years ago
Alternatives and similar repositories for Logical:
Users that are interested in Logical are comparing it to the libraries listed below
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- Persistent vectors for OCaml☆41Updated 7 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 8 months ago
- a distributed computing library for OCaml☆24Updated last year
- ☆20Updated 6 years ago
- Yet another type combinator library☆54Updated 3 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 4 years ago
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 4 years ago
- ☆38Updated 5 years ago
- Read and write FAT format filesystems from OCaml☆24Updated last year
- Monotonic wall-clock time for OCaml☆34Updated 7 months ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- Lazy prefix trees in OCaml☆23Updated 5 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- The sparkling monad library☆13Updated 8 years ago
- OCaml API search engine☆25Updated 8 years ago
- Result value combinators for OCaml☆37Updated last year
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- A session manager for your everyday needs☆43Updated 2 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- Another way to describe mirage☆19Updated 5 years ago
- UTF-8 string literals and patterns for OCaml (unreleased)☆21Updated 9 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Fast msgpack library for OCaml☆26Updated 3 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated 2 years ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago