Cinaps is a trivial Metaprogramming tool using the OCaml toplevel. It is based on the same idea as expectation tests. The user writes some OCaml code inside special comments and cinaps makes sure that what follows is what is printed by the OCaml code.

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.

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.

Access monotonic wall-clock time. It measures time spans without being subject to operating system calendar time adjustments.

This package implements an Ocaml language server implementation.

This package provides a way to write bitstrings and matching over bitsrings in Erlang style as primitives to the language.

Generation of fast comparison functions from type expressions and definitions. Ppx_compare is a ppx rewriter that derives comparison functions from type representations. The scaffolded functions are usually much faster than ocaml's Pervasives.compare. Scaffolding functions also gives you more flexibility by allowing you to override them for a specific type and more safety by making sure that you only compare comparable values.

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.

This package contains deriving conversion functions to and from yaml for OCaml types.

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.

This OCaml library provides an equal function on string in constant-time to avoid timing-attack with crypto stuff.

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.

Contains Async's core data structures, like Deferred. Async_kernel is portable, and so can be used in JavaScript using Async_js.

Down is an unintrusive user experience upgrade for the ocaml toplevel (REPL).

Simply load the zero dependency down library in the ocaml toplevel and you get line edition, history, session support and identifier completion and documentation with ocp-index.

Add this to your ~/.ocamlinit:

#use "down.top"

You may also need to add this to your ~/.ocamlinit and declare the environment variable OCAML_TOPLEVEL_PATH:

let () =
  try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
  with Not_found -> ()

OR

let () = String.split_on_char ':' (Sys.getenv "OCAMLPATH")
         |> List.filter (fun x -> Filename.check_suffix x "/site-lib")
         |> List.map (fun x -> x ^ "/toplevel")
         (* remove the line below if you don't want to see the text
            every time you start the toplevel *)
         |> List.map (fun x -> Printf.printf "adding directory %s\n" x; x)
         |> List.iter Topdirs.dir_directory;;

This package expands @disable_unused_warnings into @warning "-20-26-32-33-34-35-36-37-38-39-60-66-67"

afl-fuzz normally works by repeatedly forking the program being tested. Using this package, you can run afl-fuzz in ``persistent mode'', which avoids repeated forking and is much faster.

Part of the Jane Street's PPX rewriters collection.

React is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values: declarative events and signals. React doesn't define any primitive event or signal, it lets the client choose the concrete timeline.

This package provides an OCaml library for interacting with files in the TOML format. Specifically, it provides a parser, a serializer, and a pretty printer.

This package installs a ppx-jane executable, which is a ppx driver including all standard Jane Street ppx rewriters.

This module implements strict impure trie tree data structure for OCaml.

Ocaml-junit is a package for the creation of JUnit XML reports. It provides a typed API to produce valid reports. They are supposed to be accepted by Jenkins.

Unit testing framework for OCaml. It is similar to JUnit and other XUnit testing frameworks.

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.