Search:

dev-ml/topkg

The transitory OCaml software packager

dev-ml/alcotest

A lightweight and colourful test framework

dev-ml/fmt

Combinators to devise OCaml Format pretty-printing functions

dev-ml/logs

Logging infrastructure for OCaml

dev-ml/merlin-extend

SDK to extend Merlin

dev-ml/ocaml-compiler-libs

Repackage the OCaml compiler libs so they do not expose everything at toplevel

dev-ml/ocaml-migrate-parsetree

Convert OCaml parsetrees between different major versions

dev-ml/base

Standard library for OCaml

dev-ml/jane-street-headers

Jane Street header files

dev-ml/octavius

ocamldoc comment syntax parser

dev-ml/ppx_base

Base set of ppx rewriters

dev-ml/ppx_hash

PPX rewriter that generates hash functions from type expressions and definitions

dev-ml/ppx_js_style

Code style checker for Jane Street Packages

dev-ml/ppx_optional

Pattern matching on flat options

dev-ml/spawn

Spawning sub-processes

dev-ml/stdio

Standard IO Library for OCaml

dev-ml/lwt_ssl

GLib integration for Lwt

dev-ml/integers

Various signed and unsigned integer types for OCaml

dev-ml/patience_diff

Tool and library implementing patience diff

dev-util/patdiff

Colored patience diffs with word-level refinement

dev-ml/ppx_derivers

Shared [@@deriving] plugin registry

dev-ml/ocplib-simplex

A library implementing a simplex algorithm

sci-mathematics/why3-for-spark

Platform for deductive program verification

sys-fs/google-drive-ocamlfuse

FUSE filesystem over Google Drive

dev-ml/gapi-ocaml

A simple OCaml client for Google Services

dev-ml/ocamlfuse

OCaml binding for fuse

sys-apps/0install

Zeroinstall Injector allows regular users to install software themselves

dev-ml/obus

OBus is a pure ocaml implementation of DBus

dev-ml/seq

Compatibility package for the standard OCaml iterator type

sci-mathematics/psmt2-frontend

Library to parse and type-check an extension of the SMT-LIB 2 standard

dev-ml/num

Library for arbitrary-precision integer and rational arithmetic

dev-ml/lacaml

BLAS/LAPACK interface for OCaml

sci-mathematics/gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

dev-ml/ocaml-sha

Binding to the SHA cryptographic functions

dev-ml/stdlib-shims

Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08

dev-ml/base_quickcheck

Randomized testing framework, designed for compatibility with Base

dev-ml/bin_prot

Binary protocol generator

dev-ml/cairo2

Binding to Cairo, a 2D Vector Graphics Library

dev-ml/cinaps

Trivial metaprogramming tool

dev-ml/csexp

Parsing and printing of S-expressions in Canonical form

dev-ml/dune-configurator

Helper library for gathering system configuration

dev-ml/dune-private-libs

Private libraries of Dune

dev-ml/jst-config

Compile-time configuration for Jane Street libraries

dev-ml/lablgtk-sourceview

OCaml bindings to GTK-3

dev-ml/mccs

Multi Criteria CUDF Solver

dev-ml/mmap

File mapping

dev-ml/opam-file-format

Parser and printer for the opam file syntax

dev-ml/opam-installer

Core installer for opam packages

dev-ml/ounit2

Unit testing framework for OCaml

dev-ml/parsexp

S-expression parsing library