Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
-
Updated
Jun 17, 2024 - OCaml
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Declarative command line parsing for OCaml with `@@deriving`.
👹 A library for hierarchical names and lexical scoping
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
Embeddable Lambda Prolog Interpreter
Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages
Ocaml library to access Amazon S3
Amqp client for ocaml multicore based on eio
OCaml Amqp client library for Async and Lwt.
♾️ A library for universe levels and universe polymorphism
A position-aware parser combinator library for OCaml with readable errors.
Molecular Mechanics in OCaml
Bisector tree implementation in OCaml
TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
Experimental path library for OCaml inspired by Pythons pathlib.
Cap'n Proto RPC implementation
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."