Markup.ml provides an HTML parser and an XML parser. The parsers are wrapped in a simple interface: they are functions that transform byte streams to parsing signal streams. Streams can be manipulated in various ways, such as processing by fold, filter, and map, assembly into DOM tree structures, or serialization back to HTML or XML.

Both parsers are based on their respective standards. The HTML parser, in particular, is based on the state machines defined in HTML5.

The parsers are error-recovering by default, and accept fragments. This makes it very easy to get a best-effort parse of some input. The parsers can, however, be easily configured to be strict, and to accept only full documents.

Apart from this, the parsers are streaming (do not build up a document in memory), non-blocking (can be used with threading libraries), lazy (do not consume input unless the signal stream is being read), and process the input in a single pass. They automatically detect the character encoding of the input stream, and convert everything to UTF-8.

This library provides generic parsers for parsing S-expressions from strings or other medium.

The library is focused on performances but still provide full generic parsers that can be used with strings, bigstrings, lexing buffers, character streams or any other sources effortlessly.

It provides three different class of parsers:

• the normal parsers, producing [Sexp.t] or [Sexp.t list] values

• the parsers with positions, building compact position sequences so that one can recover original positions in order to report properly located errors at little cost

• the Concrete Syntax Tree parsers, produce values of type Parsexp.Cst.t which record the concrete layout of the s-expression syntax, including comments

This library is portable and doesn't provide IO functions. To read s-expressions from files or other external sources, you should use parsexp_io.

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

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

Timed references for imperative state. This module provides an alternative type for references (or mutable cells) supporting undo/redo operations. In particular, an abstract notion of time is used to capture the state of the references at any given point, so that it can be restored. Note that usual reference operations only have a constant time / memory overhead (compared to those of the standard library).

Moreover, we provide an alternative implementation based on the references of the standard library (Pervasives module). However, it is less efficient than the first one.

Ppx_tools provides tools for authors of ppx rewriters and other syntactic tools.

Odoc is a documentation generator for OCaml. It reads doc comments, delimited with (** ... *), and outputs HTML.

Text inside doc comments is marked up in ocamldoc syntax. Odoc's main advantage over ocamldoc is an accurate cross-referencer, which handles the complexity of the OCaml module system.

Fpath is an OCaml module for handling file system paths with POSIX or Windows conventions. Fpath processes paths without accessing the file system and is independent from any system library.

Digestif is an OCaml library that provides implementations of hash algorithms. Implemented hash algorithms include MD5, SHA1, SHA224, SHA256, SHA384, SHA512, Blake2b, Blake2s and RIPEMD160.

This package backports some of the new stdlib features to older compilers, such as the Stdlib module. This allows projects that require compatibility with older compiler to use these new features in their code.

This package provides a bundle of useful runtime functions for applications built with MirageOS

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 package installs a ppx-jane executable, which is a ppx driver including all standard Jane Street ppx rewriters.

This library represents element ordering in OCaml.

Typerep is a library for runtime types.

Tsdl is an OCaml library providing thin bindings to the cross-platform SDL C library.

This package provides the MirageOS `OS` library for Unix targets, which handles the main loop and timers.

CUDF is a format for describing upgrade scenarios in package-based software distributions.

Uuidm is an OCaml module implementing 128 bits universally unique identifiers (UUIDs) version 3, 5 (named based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122.

Generation of binary serialization and deserialization functions from type definitions.

This package contains deriving conversion functions to and from yaml for OCaml types.

This package provides a library for parsing the contents of OCaml documentation comments, formatted using Odoc syntax, an extension of the language understood by ocamldoc.

These libraries provides access to low-level compiler interfaces and the standard higher-level merlin protocol.

Camlp5 is a Pre-Processor-Pretty-Printer for Objective Caml. It offers tools for syntax (Stream Parsers and Grammars) and the ability to modify the concrete syntax of the language (Quotations, Syntax Extensions).