This library provides Functional Priority Search Queues for OCaml. Typical applications are searches, schedulers and caches.

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.

This library represents dynamic types in OCaml.

UTop is an improved toplevel for OCaml. It can run in a terminal or in Emacs. It supports line editing, history, real-time and context sensitive completion, colors, and more.

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.

This library represents element ordering in OCaml.

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.

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!

The "findlib" library provides a scheme to manage reusable software components (packages), and includes tools that support this scheme. Packages are collections of OCaml modules for which metainformation can be stored. The packages are kept in the file system hierarchy, but with strict directory structure. The library contains functions to look the directory up that stores a package, to query metainformation about a package, and to retrieve dependency information about multiple packages. There is also a tool that allows the user to enter queries on the command-line. In order to simplify compilation and linkage, there are new frontends of the various OCaml compilers that can directly deal with packages.

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

Merlin is an editor service that provides modern IDE features for OCaml. Emacs and Vim support is provided out-of-the-box. External contributors added support for Visual Studio Code, Sublime Text and Atom.

The subset of textutils using only core_kernel and working in javascript.

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

FrontC is an OCAML library providing a C parser and lexer. The result is a syntactic tree easy to process with usual OCAML tree management. It provides support for ANSI C syntax, old-C K&R style syntax and the standard GNU CC attributes. It provides also a C pretty printer as an example of use.

Optimised functions to read and write int16/32/64 from strings and bigarrays, based on new primitives added in version 4.01. It works on strings, bytes and bigstring (Bigarrys of chars), and provides submodules for big- and little-endian, with their unsafe counter-parts.

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.

This package simply repackages the OCaml compiler libraries so they don't expose everything at toplevel. For instance, Ast_helper is now Ocaml_common.Ast_helper.

Mccs (Multi Criteria CUDF Solver) is a CUDF problem solver. Mccs take as input a CUDF problem and computes the best solution according to a set of criteria. It relies on a Integer Programming solver or a Pseudo Boolean solver to achieve its task. Mccs can use a wide set of underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.

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

HeVeA is a LaTeX to HTML translator that generates modern HTML 5. It is written in Objective Caml.

Extensions to printf-style format-strings for user-defined string conversion.

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.

Lwt provides typed, composable cooperative threads. These make it easy to run normally-blocking I/O operations concurrently in a single process. Also, in many cases, Lwt threads can interact without the need for locks or other synchronization primitives.

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

• test if a C program compiles

• query pkg-config

• import #define from OCaml header files

• generate config.h file