StrykerKKD / Logical
Minimalistic logic programming framework
☆23Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Logical
- Persistent vectors for OCaml☆40Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Yet another type combinator library☆54Updated 2 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 3 years ago
- Fast msgpack library for OCaml☆26Updated 3 years ago
- ☆20Updated 5 years ago
- nanomsg bindings for ocaml☆38Updated 4 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 7 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- a distributed computing library for OCaml☆24Updated 9 months ago
- Declarative music for OCaml (unreleased)☆24Updated 7 months ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Bisector tree implementation in OCaml☆25Updated 6 months ago
- Fast native fibers for OCaml☆38Updated 5 years ago
- C++ FFI Generator for Ocaml☆35Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated 9 months ago
- UTF-8 string literals and patterns for OCaml (unreleased)☆21Updated 9 years ago
- miniKanren in OCaml☆31Updated last year
- Adaptive Radix Tree in OCaml☆47Updated 3 months ago
- Easy to use and user-friendly topological sort module for OCaml☆22Updated 2 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 4 years ago
- Monotonic wall-clock time for OCaml☆32Updated 2 months ago
- OCaml bindings for libpg_query☆17Updated last year
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 3 years ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago