This package provides OCaml bindings to the Linux io_uring kernel IO interfaces.

Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values.

The uchar package provides a compatibility library for the `Uchar` module introduced in OCaml 4.03.

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.

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.

Ppx_yojson_conv_lib is the runtime library used by ppx_yojson_conv, a ppx rewriter that can be used to convert ocaml types to a Yojson.Safe value.

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

This module provides a vi-like modal editing engine generator.

Bindlib is a library allowing the manipulation of data structures with bound variables. It is particularly useful when writing ASTs for programming languages, but also for manipulating terms of the λ-calculus or quantified formulas.

opam-installer is a tool for installing OCaml packages based on .install files defined by the OPAM package manager. It is useful for installing OCaml packages without requiring the entirety of OPAM.

Dose3 is a framework made of several OCaml libraries for managing distribution packages and their dependencies. Though not tied to any particular distribution, dose3 constitutes a pool of libraries which enable analyzing packages coming from various distributions. Besides basic functionalities for querying and setting package properties, dose3 also implements algorithms for solving more complex problems such as monitoring package evolutions, correct and complete dependency resolution and repository-wide uninstallability checks.

This library helps embed location information inside executables and libraries

This library represents element ordering in OCaml.

Similar to make utilities you may have used, but it features many additional enhancements, including:

1. Support for projects spanning several directories or directory hierarchies.

2. Fast, reliable, automated, scriptable dependency analysis using MD5 digests, with full support for incremental builds.

3. Dependency analysis takes the command lines into account — whenever the command line used to build a target changes, the target is considered out-of-date.

4. Fully scriptable, includes a library that providing support for standard tasks in C, C++, OCaml, and LaTeX projects, or a mixture thereof.

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.

Pcre-ocaml offers library functions for string pattern matching and substitution, similar to the functionality offered by the Perl language.

Defines the signature for time-related operations for MirageOS.

Lexer generator for Unicode and OCaml.

IO pages are page-aligned, and wrapped in the Cstruct library to avoid copying the data contained within the page.

Client-side URL transfer library, supporting HTTP and a multitude of other network protocols (FTP/SMTP/RTSP/etc).

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.

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.

This package provides helpers with various constructions that involve memoization and recursion.