OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety. Developed for more than 20 years at Inria it benefits from one of the most advanced type systems and supports functional, imperative and object-oriented styles of programming.

This package provides the lablgtk interface to the GTK+ gtksourceview library.

Lexer generator for Unicode and OCaml.

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

SQLite3-OCaml is an OCaml library with bindings to the SQLite3 client API. Sqlite3 is a self-contained, serverless, zero-configuration, transactional SQL database engine with outstanding performance for many use cases. These bindings are written in a way that enables a friendly coexistence with the old (version 2) SQLite and its OCaml wrapper ocaml-sqlite.

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

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.

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

Library for pretty-printing s-expressions, using better indentation rules than the default pretty printer in Sexplib.

Extensions to printf-style format-strings for user-defined string conversion.

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.

Handle computation results and errors in an explicit and declarative manner, without resorting to exceptions. It defines combinators to operate on the result type available from OCaml 4.03 in the standard library.

Ppx_base is the set of ppx rewriters used for Base.

Note that Base doesn't need ppx to build, it is only used as a verification tool.

Earley is a parser combinator library base on Earley's algorithm. It is intended to be used in conjunction with an OCaml syntax extension which allows the definition of parsers inside the language. There is also support for writing OCaml syntax extensions in a camlp4 style.

Small implementation of a simple argv parser.

Cubicle is a model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems.

This module provides a set of tools to measure the running times of your functions and to easily compare the results. A statistical test is used to determine whether the results truly differ.

Library to perform parallel fold or map taking advantage of multiple core architectures for OCaml programs. Drop-in replacement for these List operations are provided:

• List.map -> parmap

• List.map -> parfold

• List.mapfold -> parmapfold

Also it allows specifying the number of cores to use with the optional parameter ncores.

Used to trace execution of OCaml/Lwt programs (such as Mirage unikernels) at the level of Lwt threads. The traces can be viewed using JavaScript or GTK viewers provided by mirage-trace-viewer or processed by tools supporting the Common Trace Format. When compiled against a normal version of Lwt, OCaml's cross-module inlining will optimise these calls away, meaning there should be no overhead in the non-profiling case.

This package simply repackages the OCaml compiler libraries so they don't expose everything at toplevel. For instance, Ast_helper is now Ocaml_common.Ast_helper.

OCaml is written in OCaml. Its sources contain a pre-compiled bytecode version of ocamlc and ocamllex that are used to build the next version of the compiler. Camlboot implements a bootstrap for the OCaml compiler and provides a bootstrapped equivalent to these files.

It contains a compiler for a small subset of OCaml written in Guile Scheme, an interpreter for OCaml written in that subset and a manually-written lexer for OCaml. These elements eliminate the need for the binary bootstrap in OCaml and can effectively bootstrap OCaml 4.07.

This package produces a native ocamlc and a bytecode ocamllex.

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

Features:

• MAC-48 (Ethernet) address support

• Macaddr is a Map.OrderedType

• All types have sexplib serializers/deserializers optionally via the Macaddr_sexp library

Ignore Jane Street specific instrumentation extensions from internal PPXs or compiler features not yet upstreamed.