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
- Fast msgpack library for OCaml☆26Updated 3 years ago
- RSS and Atom feed parsing☆34Updated last year
- a distributed computing library for OCaml☆24Updated last year
- Yet another type combinator library☆54Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- multipart/form-data (RFC2388) parser for OCaml☆19Updated 4 years ago
- ☆20Updated 6 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- A session manager for your everyday needs☆44Updated 2 years ago
- OCaml BitTorrent library and client☆39Updated 2 years ago
- Red-Black Trees for OCaml.☆23Updated 8 years ago
- A planet (feed aggregator) for OCaml.☆28Updated 4 months ago
- DEPRECATED: Abstraction over Stdlib, Lwt, and Async.☆26Updated 7 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- A dumb OCaml logger☆37Updated last year
- Matching Regular Expressions with OCaml Patterns☆55Updated 2 years ago
- An OCaml library for describing Protobuf messages☆30Updated 4 years ago
- Basic types for computer graphics in OCaml☆41Updated this week
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated 3 years ago
- OCaml Ctypes stubs generation notes☆19Updated 5 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Easy to use and user-friendly topological sort module for OCaml☆22Updated 2 years ago
- Universally unique identifiers (UUIDs) for OCaml☆43Updated this week
- List of bindings in OCaml to cordova plugins.☆27Updated 8 years ago
- Declarative music for OCaml (unreleased)☆26Updated 11 months ago
- The Ensemble distributed communications toolkit☆12Updated 4 years ago
- Bindings to the various POSIX APIs☆27Updated last month