OCaml code generator for TypeScript
toolbox for Debian maintainers
HTML and LaTeX colored syntax from OCaml source files - executable
Stub code generator for Objective Caml
preprocessor which converts text with embedded OCaml
Pre Processor Pretty Printer for OCaml
Pre Processor Pretty Printer for OCaml - classical version
Camlp5 build scripts
Coq plugin to extract dependencies between Coq objects (tools)
build hierarchies of algebraic structures in Coq (tool)
Primality certification for Coq (tools)
cpp for OCaml
various tools to manage Coq-related Debian packages
debhelper tool for Coq-related Debian packages
helper tools for maintaining OCaml-related Debian packages
emacs mode for editing OCaml programs
emacs-mode for OCaml programs
embeddable lambda-Prolog interpreter (tool)
editor service to develop in OCaml (emacs files)
OCaml bytecode to JavaScript compiler (compiler)
OCaml bindings to Tcl/Tk (executables)
Wu-Manber algorithm for string searching with errors
lightweight and colourful test framework for OCaml
OCaml bindings for the ALSA library
speed and memory-efficient parser combinators for OCaml (runtime)
speed and memory-efficient parser combinators for OCaml (dev)
colors and cursor movements for OCaml applications (runtime files)
colors and cursor movements for OCaml applications (dev files)
OCaml bindings for libao -- runtime files
OCaml bindings for libao -- development files
embed typed ASN.1 grammars in OCaml (runtime files)
embed typed ASN.1 grammars in OCaml (dev files)
alternative String module for OCaml (runtime)
alternative String module for OCaml (development)
OCaml code generator for biniou and JSON - plugins
OCaml code generator for biniou and JSON - executable and dev files
syntax for cross-language data types in OCaml - plugins
syntax for cross-language data types in OCaml - development files
OCaml bindings to the Augeas configuration library
Base64 encoding and decoding OCaml library (runtime files)
Base64 encoding and decoding OCaml library (dev files)
Jane Street's alternative standard library (runtime)
Jane Street's alternative standard library (development)
Batteries included: OCaml development platform - development files
OCaml benchmarking library
OCaml libraries for Debian maintainers (runtime package)
OCaml libraries for Debian maintainers (development package)
compatibility library for Stdlib.Bigarray (runtime)