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.

This package provides an up-to-date and strict SPDX License Expression parser. It implements the format described in: https://spdx.github.io/spdx-spec/v2.3/SPDX-license-expressions/ See https://spdx.org/licenses/ for more details.

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.

swhid_core is an OCaml library to work with Software Heritage persistent identifiers (swhids). This is the core library, for most use cases you should use the swhid library instead.

Astring exposes an alternative String module for OCaml. This module balances minimality and expressiveness for basic, index-free, string processing and provides types and functions for substrings, string sets and string maps. The String module exposed by Astring has exception safe functions, removes deprecated and rarely used functions, alters some signatures and names, adds a few missing functions and fully exploits OCaml's newfound string immutability.

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

This package implements an Ocaml language server implementation.

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.

Typerep is a library for runtime types.

Lexer generator for Unicode and OCaml.

Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, colors, as well as a set of widgets to write curses-like applications. The main objective of Lambda-Term is to provide a higher level functional interface to terminal manipulation than, for example, ncurses, by providing a native OCaml interface instead of bindings to a C library.

This package backports new language features such as let+ to older OCaml compilers.

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

Expect-test is a framework for writing tests in OCaml, similar to Cram. Expect-tests mimics the existing inline tests framework with the let%expect_test construct. The body of an expect-test can contain output-generating code, interleaved with %expect extension expressions to denote the expected output.

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

Uses the new result type defined in OCaml >= 4.03 while staying compatible with older version of OCaml should use the Result module defined in this library.

This package provides a non-blocking encoder/decoder of Quoted-Printable according to RFC2045 and RFC2047 (about encoded-word). Useful to translate contents of emails.

This package includes only the ocp-index library and command-line tool.

Lacaml interfaces the BLAS-library (Basic Linear Algebra Subroutines) and LAPACK-library (Linear Algebra routines). It also contains many additional convenience functions for vectors and matrices.

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.

Fmt exposes combinators to devise Format pretty-printing functions.

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

Opam's default solver is designed to maintain a set of packages over time, minimising disruption when installing new programs and finding a compromise solution across all packages. In many situations (e.g. CI, local roots or duniverse builds) this is not necessary, and we can get a solution much faster by using a different algorithm. This package provides a generic solver library which uses 0install's solver library. The library uses the CUDF library in order to interface with opam as it is the format common used to talk to all the supported solvers.

OCamlbuild is a generic build tool, that has built-in rules for building OCaml library and programs.