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.

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 is a no-op ppx rewriter. It is used as a lint tool to enforce some coding conventions across all Jane Street packages.

Ctypes is a library for binding to C libraries using pure OCaml. The primary aim is to make writing C extensions as straightforward as possible. The core of ctypes is a set of combinators for describing the structure of C types -- numeric types, arrays, pointers, structs, unions and functions. You can use these combinators to describe the types of the functions that you want to call, then bind directly to those functions -- all without writing or generating any C!

This OCaml library offers a set of combinators for building so-called documents as well as an efficient engine for converting documents to a textual, fixed-width format. The engine takes care of indentation and line breaks, while respecting the constraints imposed by the structure of the document and by the text width.

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.

Syntax extension that makes [failwiths] always include a position.

Output trace data to a file in Chrome's trace_event format. This format is compatible with chrome trace viewer chrome://tracing. This library offers no backwards compatibility guarantees.

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.

The graphics library provides a set of portable drawing primitives. Drawing takes place in a separate window that is created when Graphics.open_graph is called. This library used to be distributed with OCaml up to OCaml 4.08.

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.

Ocaml-cairo2 is a binding to Cairo, a 2D graphics library with support for multiple output devices. Currently supported output targets include the X Window System, Quartz, Win32, image buffers, PostScript, PDF, and SVG file output.

base-quickcheck provides randomized testing in the style of Haskell's Quickcheck library, with support for built-in types as well as types provided by Base.

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.

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.

Lexer generator for Unicode and OCaml.

This package allows you to produce, from a set of bibliography files in BibTeX format, a bibliography in HTML format.

This package is a ppx extension for easier implementation of conversion functions between almost identical types.

OCamlify creates OCaml source code by including whole files into OCaml string or string list. The code generated can be compiled as a standard OCaml file. It allows embedding external resources as OCaml code.

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 adds S-exp support to ocaml-uri.

This ocaml library returns user XDG directories such as XDG_CONFIG_HOME, XDG_STATE_HOME.

LablGtk is an OCaml interface to GTK+ 1.2, 2.x and 3.x. It provides a strongly-typed object-oriented interface that is compatible with the dynamic typing of GTK+. Most widgets and methods are available. LablGtk also provides bindings to gdk-pixbuf, the GLArea widget (in combination with LablGL), gnomecanvas, gnomeui, gtksourceview, gtkspell, libglade (and it can generate OCaml code from .glade files), libpanel, librsvg and quartz.

Defines the signature for time-related operations for MirageOS.