BINSEC is a binary analysis platform which implements analysis techniques such as symbolic execution. The goal of BINSEC is to improve software security at the binary level through binary analysis. BINSEC is a research tool which relies on prior work in binary code analysis at the intersection of formal methods, program analysis security and software engineering.

Biniou (pronounced "be new" is a binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve. Biniou is vastly equivalent to JSON in terms of functionality but allows implementations several times faster (4 times faster than yojson), with 25-35% space savings.

Gen implements iterators of OCaml, that are both restartable and consumable.

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.

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

Libraries for creating shared memory producer/consumer rings. The rings follow the Xen ABI and may be used to create or implement Xen virtual devices.

This library contains functionality for reading and writing OCaml-values in a type-safe binary protocol. It is extremely efficient, typically supporting type-safe marshalling and unmarshalling of even highly structured values at speeds sufficient to saturate a gigabit connection. The protocol is also heavily optimized for size, making it ideal for long-term storage of large amounts of data.

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.

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.

Modules using ppx_module_timer have instrumentation to record their startup time.

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.

Crowbar is a library for testing code, combining QuickCheck-style property-based testing and the magical bug-finding powers of afl-fuzz.

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

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

This package is part of Jane Street's Core library. Sexplib contains functionality for parsing and pretty-printing s-expressions.

Library for building RPC-style protocols. This library is the portable part of the Unix-oriented Async_rpc library, and is actively used in JavaScript.

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.

Yojson is an optimized parsing and printing library for the JSON format. It addresses a few shortcomings of json-wheel including 2x speedup, polymorphic variants and optional syntax for tuples and variants. ydump is a pretty printing command-line program provided with the yojson package. The program atdgen can be used to derive OCaml-JSON serializers and deserializers from type definitions.

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.

This package provides two library modules:

• Stream: imperative streams, with in-place update and memoization of the latest element produced.

• Genlex: a small parameterized lexical analyzer producing streams of tokens from streams of characters.

The two modules are designed for use with Camlp4 and Camlp5: The stream patterns and stream expressions of Camlp4/Camlp5 consume and produce data of type 'a Stream.t. The Genlex tokenizer can be used as a simple lexical analyzer for Camlp4/Camlp5-generated parsers.

The Stream module can also be used by hand-written recursive-descent parsers, but is not very convenient for this purpose.

The Stream and Genlex modules have been part of the OCaml standard library for a long time, and have been distributed as part of the core OCaml system. They will be removed from the OCaml standard library at some future point, but will be maintained and distributed separately in the camlpstreams package.

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 library implements portable support for an operating system timesource that is compatible with the MirageOS library interfaces. It implements an MCLOCK module that represents a monotonic timesource since an arbitrary point, and PCLOCK which counts time since the Unix epoch.

This package generates accessors and iteration functions for OCaml variant types.

The ocaml-integers library provides a number of 8-, 16-, 32- and 64-bit signed and unsigned integer types, together with aliases such as long and size_t whose sizes depend on the host platform.