swhid_core is an OCaml library to work with Software Heritage persistent identifiers (swhids). This is the core library, for most use cases you should use the swhid library instead.

C header files shared between the various Jane Street packages.

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.

Cppo is an equivalent of the C preprocessor for OCaml programs. It allows the definition of simple macros and file inclusion. Cppo is:

1. more OCaml-friendly than cpp

2. easy to learn without consulting a manual

3. reasonably fast

4. simple to install and to maintain.

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.

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 two union-find data structure implementations for OCaml. Both implementations are based on disjoint sets forests, with path compression and linking-by-rank, so as to guarantee good asymptotic complexity: every operation requires a quasi-constant number of accesses to the store.

Typerep is a library for runtime types.

This package provides PCRE-based regular expressions support for Mparser.

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

DSL to describe a set of modules and functors, their types and how to apply them in order to produce a complete application. The main use case is mirage.

Tuareg helps editing OCaml code, to highlight important parts of the code, to run an OCaml REPL, and to run the OCaml debugger within Emacs.

This project provides a Mmap.map_file function for mapping files in memory. This function is the same as the Unix.map_file function added in OCaml >= 4.06.

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 library provides minimal support for Canonical S-expressions. Canonical S-expressions are a binary encoding of S-expressions that is super simple and well suited for communication between programs.

This library only provides a few helpers for simple applications. If you need more advanced support, such as parsing from more fancy input sources, you should consider copying the code of this library given how simple parsing S-expressions in canonical form is.

To avoid a dependency on a particular S-expression library, the only module of this library is parameterised by the type of S-expressions.

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.

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

CamlPDF is an OCaml library that provides functionality for reading, writing, and modifying PDF files. It serves as the foundation for the cpdf command-line tool and various API bindings.

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

Cubicle is a model checker for verifying safety properties of array-based systems. This is a syntactically restricted class of parametrized transition systems with states represented as arrays indexed by an arbitrary number of processes. Cache coherence protocols and mutual exclusion algorithms are typical examples of such systems.

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.

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

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 package allows parsing of dates that follow the ISO 8601 and RFC 3339 formats in OCaml.