Embeddable Lambda Prolog Interpreter
-
Updated
May 24, 2024 - Prolog
Embeddable Lambda Prolog Interpreter
Cap'n Proto RPC implementation
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
OCaml Amqp client library for Async and Lwt.
Ocaml library to access Amazon S3
Elliptic curve library secp256k1 wrapper for Ocaml
OCaml library for handling dates and times.
Basic control of ANSI compliant terminals and the windows shell.
Parallelize _anything_ //
A static parser for POSIX Shell
OCaml parsers for multiple key formats
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
HOTP and TOTP algorithms for 2-step verification (for OCaml). 🕙 🔐 🔢 🐫
trial at reviving the ancient library
Vantage point 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."