This package is a line-reading library for OCaml that aims to replace readline.

Uucd is an OCaml module to decode the data of the Unicode character database from its XML representation. It provides high-level (but not necessarily efficient) access to the data so that efficient representations can be extracted.

DSL to describe a set of modules and functors, their types and how to apply them in order to produce a complete application. The main use case is mirage.

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.

Angstrom is a parser-combinator library that makes it easy to write efficient, expressive, and reusable parsers suitable for high-performance applications. It exposes monadic and applicative interfaces for composition, and supports incremental input through buffered and unbuffered interfaces. Both interfaces give the user total control over the blocking behavior of their application, with the unbuffered interface enabling zero-copy IO. Parsers are backtracking by default and support unbounded lookahead.

Provides a single module named Stringext that provides a grab bag of often used but missing string functions from the stdlib. E.g, split, full_split, cut, rcut, etc..

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.

IP address types with serialization, supporting a wide range of RFCs.

Merlin is an editor service that provides modern IDE features for OCaml. Emacs and Vim support is provided out-of-the-box. External contributors added support for Visual Studio Code, Sublime Text and Atom.

This package provides PCRE-based regular expressions support for Mparser.

Compatibility module for OCaml standard library allowing programs to use some recent additions to the standard library while preserving the ability to be compiled on former versions of OCaml.

The OCaml guile library provides high-level OCaml bindings to GNU Guile 3.0, supporting easy interop between OCaml and GNU Guile Scheme.

A comprehensive toolbox for ppx development. It features:

• an OCaml AST / parser / pretty-printer snapshot, to create a full frontend independent of the version of OCaml;

• a library for library for ppx rewriters in general, and type-driven code generators in particular;

• a feature-full driver for OCaml AST transformers;

• a quotation mechanism allowing to write values representing the OCaml AST in the OCaml syntax;

• a generator of open recursion classes from type definitions.

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

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).

This module provides an abstract engine for text edition. It can be used to write text editors, edition widgets, readlines, and more. The module Zed uses Camomile to fully support the Unicode specification, and implements an UTF-8 encoded string type with validation, and a rope datastructure to achieve efficient operations on large Unicode buffers. Zed also features a regular expression search on ropes. To support efficient text edition capabilities, Zed provides macro recording and cursor management facilities.

This package implements an Ocaml language server implementation.

OCaml-Num contains the legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution.

The "findlib" library provides a scheme to manage reusable software components (packages), and includes tools that support this scheme. Packages are collections of OCaml modules for which metainformation can be stored. The packages are kept in the file system hierarchy, but with strict directory structure. The library contains functions to look the directory up that stores a package, to query metainformation about a package, and to retrieve dependency information about multiple packages. There is also a tool that allows the user to enter queries on the command-line. In order to simplify compilation and linkage, there are new frontends of the various OCaml compilers that can directly deal with packages.

Libraries for creating shared memory producer/consumer rings. The rings follow the Xen ABI and may be used to create or implement Xen virtual devices.

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

• test if a C program compiles

• query pkg-config

• import #define from OCaml header files

• generate config.h file

This OCaml library provides two new integer types, Optint.t and Int63.t, which guarantee efficient representation on 64-bit architectures and provide a best-effort boxed representation on 32-bit architectures.

UTop is an improved toplevel for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.

Xml-Light provides functions to parse an XML document into an OCaml data structure, work with it, and print it back to an XML document. It also supports DTD parsing and checking, and is entirely written in OCaml, hence it does not require additional C libraries.