Xmlm is a streaming codec to decode and encode the XML data format. It can process XML documents without a complete in-memory representation of the data.

Library that allows OCaml programs to interact with Python modules and objects. The library also provides low-level bindings to the Python C API.

This library is an alternative to pycaml which is no longer maintained. The Pycaml module provides a signature close to pycaml, to ease migration of code to this library.

The Core suite of libraries is an alternative to OCaml's standard library that was developed by Jane Street.

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

Contains Async's core data structures, like Deferred. Async_kernel is portable, and so can be used in JavaScript using Async_js.

Timezone handles parsing timezone data and create Timezone.t that can later be used to manipulate time in core_kernel or core.

This package generates JUnit XML reports from ocaml-alcotest test suites.

This package installs a ppx-jane executable, which is a ppx driver including all standard Jane Street ppx rewriters.

Dedukti is a proof-checker for the λΠ-calculus modulo theory. The λΠ-calculus is an extension of the simply typed λ-calculus with dependent types. The λΠ-calculus modulo theory is itself an extension of the λΠ-calculus where the context contains variable declaration as well as rewrite rules. This system is not designed to develop proofs, but to check proofs developed in other systems. In particular, it enjoys a minimalistic syntax.

This package provides two library modules:

• Stream: imperative streams, with in-place update and memoization of the latest element produced.

• Genlex: a small parameterized lexical analyzer producing streams of tokens from streams of characters.

The two modules are designed for use with Camlp4 and Camlp5: The stream patterns and stream expressions of Camlp4/Camlp5 consume and produce data of type 'a Stream.t. The Genlex tokenizer can be used as a simple lexical analyzer for Camlp4/Camlp5-generated parsers.

The Stream module can also be used by hand-written recursive-descent parsers, but is not very convenient for this purpose.

The Stream and Genlex modules have been part of the OCaml standard library for a long time, and have been distributed as part of the core OCaml system. They will be removed from the OCaml standard library at some future point, but will be maintained and distributed separately in the camlpstreams package.

QuickCheck inspired property-based testing for OCaml. This module checks invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.

Syntax extension for writing in-line benchmarks in ocaml code.

A ppx rewriter for monadic and applicative let bindings, match expressions, and if expressions.

This package is part of Jane Street's Core library. Sexplib contains functionality for parsing and pretty-printing s-expressions.

Part of Jane Street's Core library The Core suite of libraries is an industrial strength alternative to OCaml's standard library that was developed by Jane Street, the largest industrial user of OCaml.

A ppx rewriter that inlines reverse application operators |> and |!.

This library provides minimal support for Canonical S-expressions. Canonical S-expressions are a binary encoding of S-expressions that is super simple and well suited for communication between programs.

This library only provides a few helpers for simple applications. If you need more advanced support, such as parsing from more fancy input sources, you should consider copying the code of this library given how simple parsing S-expressions in canonical form is.

To avoid a dependency on a particular S-expression library, the only module of this library is parameterised by the type of S-expressions.

Library for asynchronous programming, i.e., programming where some part of the program must wait for things that happen at times determined by some external entity (like a human or another program).

This package provides utilities for building unitary testing of interactive program. You can match the question using a regular expression or a timeout.

This package allows one to access information about how the executable was built, such as the version of the project at which it was built or the list of statically linked libraries with their versions. It supports reporting the version from the version control system during development to get an precise reference of when the executable was built.

The Core suite of libraries is an alternative to OCaml's standard library.

Comma separated values (CSV) is a simple tabular format supported by all major spreadsheets. This library implements pure OCaml functions to read and write files in this format as well as some convenience functions to manipulate such data.

Ocaml-junit is a package for the creation of JUnit XML reports. It provides a typed API to produce valid reports. They are supposed to be accepted by Jenkins.

This is the binding for SHA interface code in OCaml, offering the same interface as the MD5 digest included in the OCaml standard library. It currently provides SHA1, SHA256 and SHA512 hash functions.