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
- Reactive programming… in the shell☆30Updated 7 years ago
- ☆20Updated 6 years ago
- HTTP/2 types and framing for ocaml☆33Updated 5 years ago
- Yet another type combinator library☆54Updated 3 years ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Protocol Buffers, JSON, XML data serialization system for OCaml☆40Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 4 years ago
- Libraries for reliable manipulation JSON objects.☆24Updated 2 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- An easy interface on top of the Irmin library.☆45Updated 4 years ago
- miniKanren in OCaml☆31Updated last year
- ☆38Updated 5 years ago
- A session manager for your everyday needs☆43Updated 2 years ago
- A tool that creates stand-alone source bundles from opam packages☆26Updated last year
- a distributed computing library for OCaml☆24Updated last year
- OCaml BitTorrent library and client☆39Updated 2 years ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Open records implemented using map over universal type☆33Updated 4 years ago
- List of bindings in OCaml to cordova plugins.☆27Updated 8 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 3 years ago
- Private extraction of astrada's lens library☆57Updated 3 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Monotonic wall-clock time for OCaml☆33Updated 6 months ago
- Unicode character properties for OCaml☆21Updated 2 weeks ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- Fast native fibers for OCaml☆38Updated 6 years ago