Embeddable Lambda Prolog Interpreter
-
Updated
Dec 13, 2024 - Prolog
Embeddable Lambda Prolog Interpreter
A static parser for POSIX Shell
Cap'n Proto RPC implementation
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
OCaml Amqp client library for Async and Lwt.
Parallelize _anything_ //
TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
Ocaml library to access Amazon S3
🦠 Reusable components based on algebraic effects
Basic control of ANSI compliant terminals and the windows shell.
Bitcoin data-structures library for OCaml
OCaml library for handling dates and times.
👨🏻💻 Command line interface for user input
♾️ A library for universe levels and universe polymorphism
Minimalist OCaml library for command line parsing
A simple parser combinator library for Ocaml
Bisector tree implementation in OCaml
Add a description, image, and links to the ocaml-library topic page so that developers can more easily learn about it.
To associate your repository with the ocaml-library topic, visit your repo's landing page and select "manage topics."