This package provides an effect-based IO API for multicore OCaml with fibers.

Unison is a file-synchronization tool. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.

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.

Pure OCaml regular expressions with:

1. Perl-style regular expressions (module Re_perl)

2. Posix extended regular expressions (module Re_posix)

3. Emacs-style regular expressions (module Re_emacs)

4. Shell-style file globbing (module Re_glob)

5. Compatibility layer for OCaml's built-in Str module (module Re_str)

This package is an OCaml library to parse and generate the YAML file format. It is intended to be interoperable with the Ezjsonm JSON handling library, if the simple common subset of Yaml is used. Anchors and other advanced Yaml features are not implemented in the JSON compatibility layer.

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.

Cmdliner is a module for the declarative definition of command line interfaces. It provides a simple and compositional mechanism to convert command line arguments to OCaml values and pass them to your functions. The module automatically handles syntax errors, help messages and UNIX man page generation. It supports programs with single or multiple commands and respects most of the POSIX and GNU conventions.

Adds Erlang-style bitstrings and matching over bitstrings as a syntax extension and library for OCaml. You can use this module to both parse and generate binary formats, files and protocols. Bitstring handling is added as primitives to the language, making it exceptionally simple to use and very powerful.

Ppx-import is a syntax extension for importing declarations from interface files.

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

Binary Analysis Platform is a framework for writing program analysis tools, that target binary files. The framework consists of a plethora of libraries, plugins, and frontends. The libraries provide code reusability, the plugins facilitate extensibility, and the frontends serve as entry points.

Piqilib is the common library used by the piqi command-line tool and piqi-ocaml.

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.

ocaml-dot-merlin-reader is an external reader for ocaml-merlin configurations.

Define a standard set of libraries which may be expected on every compliant installation of OCaml and organize these libraries into a hierarchy of modules.

Syntax extension for writing in-line benchmarks in ocaml code.

GSL-OCaml is an interface to the GNU scientific library (GSL) for the OCaml language.

Spawn is a small library exposing only one functionality: spawning sub-process.

It has three main goals:

• provide missing features of Unix.create_process such as providing a working directory,

• provide better errors when a system call fails in the sub-process. For instance if a command is not found, you get a proper Unix.Unix_error exception,

• improve performances by using vfork when available. It is often claimed that nowadays fork is as fast as vfork, however in practice fork takes time proportional to the process memory while vfork is constant time. In application using a lot of memory, vfork can be thousands of times faster than fork.

C header files shared between the various Jane Street packages.

Provides an OCaml interface to operations that have dedicated hardware instructions on some micro-architectures, with default implementations using C stubs for all targets.

Alcotest exposes simple interface to perform unit tests. It exposes a simple TESTABLE module type, a check function to assert test predicates and a run function to perform a list of unit -> unit test callbacks. Alcotest provides a quiet and colorful output where only faulty runs are fully displayed at the end of the run (with the full logs ready to inspect), with a simple (yet expressive) query language to select the tests to run.

Traditional implementation of priority queues using a binary heap encoded in a resizable array.

Cstruct is a library and syntax extension to make it easier to access C-like structures directly from OCaml. It supports both reading and writing to these structures, and they are accessed via the Bigarray module.

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