Embeddable Lambda Prolog Interpreter
-
Updated
Nov 10, 2026 - Prolog
#
ocaml-library
Here are 160 public repositories matching this topic...
A static parser for POSIX Shell
shell parse parsing ocaml posix ocaml-library shell-script shell-scripts posix-sh concrete-syntax-trees
-
Updated
Aug 5, 2026 - OCaml
Cap'n Proto RPC implementation
-
Updated
Sep 13, 2026 - OCaml
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
-
Updated
Nov 8, 2026 - OCaml
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
language typechecker parse model ocaml theorem-proving ocaml-library functor tptp atp smt-lib flexible-parsers
-
Updated
Nov 9, 2026 - OCaml
OCaml Amqp client library for Async and Lwt.
-
Updated
Jun 13, 2026 - OCaml
TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
-
Updated
Apr 25, 2026 - OCaml
🦠 Reusable components based on algebraic effects
-
Updated
Jun 19, 2026 - OCaml
Parallelize _anything_ //
-
Updated
Oct 5, 2023 - OCaml
Ocaml library to access Amazon S3
-
Updated
Sep 26, 2026 - OCaml
OCaml library for handling dates and times.
-
Updated
Apr 21, 2026 - OCaml
Basic control of ANSI compliant terminals and the windows shell.
-
Updated
Jan 9, 2024 - OCaml
♾️ A library for universe levels and universe polymorphism
-
Updated
Sep 24, 2026 - OCaml
Bitcoin data-structures library for OCaml
-
Updated
Jun 3, 2020 - OCaml
👨🏻💻 Command line interface for user input
-
Updated
Jan 26, 2020 - OCaml
Lightweight library to experiment with quantum states, gates and simulating quantum algorithms.
-
Updated
Jun 10, 2026 - OCaml
Minimalist OCaml library for command line parsing
-
Updated
Oct 7, 2020 - OCaml
A simple parser combinator library for Ocaml
-
Updated
Aug 21, 2021 - OCaml
Add this topic to your repo
To associate your repository with the ocaml-library topic, visit your repo's landing page and select "manage topics."