Search:

dev-ml/cstruct

Access C-like structures directly from OCaml

dev-ml/ptime

POSIX time for OCaml

dev-ml/tyxml

A library for building correct HTML and SVG documents

dev-ml/core_unix

Unix-specific portions of Core

dev-ml/expect_test_helpers_core

Helpers for writing expectation tests

dev-ml/ocaml_intrinsics

Invoke amd64 instructions (such as clz, popcnt, rdtsc, rdpmc)

dev-ml/sexp_pretty

S-expression pretty-printer

dev-ml/int_repr

Integers of various widths

dev-ml/ppx_disable_unused_warnings

Expands [@disable_unused_warnings]

dev-ml/ppx_ignore_instrumentation

Ignore Jane Street specific instrumentation extensions

dev-ml/ppx_log

Lazily rendering log messages

dev-ml/textutils_kernel

Text output utilities

dev-ml/tiny_httpd

Minimal HTTP server with a small request router

dev-ml/ANSITerminal

Basic control of ANSI compliant terminals and the windows shell

dev-ml/atd

Static types for JSON APIs

dev-util/coccinelle

Program matching and transformation engine

dev-ml/pp

Pretty-printing library

dev-ml/odoc

OCaml documentation generator

dev-ml/coq-menhirlib

A support library for verified Coq parsers produced by Menhir

dev-ml/uuseg

Unicode text segmentation for OCaml

dev-ml/ppx_blob

Include a file as a string at compile time

dev-lang/elpi

Embeddable Lambda Prolog Interpreter in OCaml

dev-ml/zmq

OCaml bindings for ZeroMQ 4.x

dev-ml/zmq-async

Async-aware bindings to ZMQ for OCaml

dev-ml/zmq-lwt

Lwt-aware bindings to ZMQ for OCaml

sci-mathematics/kind2

Multi-engine SMT-based automatic model checker

dev-ml/ppx_globalize

Generates functions to copy local values to the global heap

dev-ml/ppx_stable_witness

Ppx extension for deriving a witness that a type is intended to be stable

dev-ml/ppx_tydi

Let expressions, inferring pattern type from expression

dev-util/comby

A code rewrite tool for structural search and replace that supports ~every language.

dev-ml/shell

Yet another implementation of fork and exec and related functionality.

dev-ml/parany

Parallelize any computation.

dev-ml/mparser

A simple monadic parser combinator library for OCaml.

dev-ml/iso8601

Parser and printer for date-times in ISO8601.

dev-ml/cpu

Pin current process to given core number.

dev-ml/toml

OCaml library for TOML.

sci-mathematics/proverif

Cryptographic protocol verifier in the formal model

dev-ml/opam-0install-cudf

Opam solver using 0install backend using the CUDF interface

dev-ml/spdx_licenses

A library providing a strict SPDX License Expression parser

dev-ml/swhid_core

OCaml library to work with swhids

dev-ml/dune-rpc

Communicate with dune using rpc

dev-ml/ocaml-version

Library to parse and enumerate releases of the OCaml compiler

dev-ml/ocamlc-loc

Parse ocaml compiler output into structured form

dev-ml/ocamlformat-rpc-lib

Auto-formatter for OCaml code (RPC mode)

dev-ml/ppx_yojson_conv_lib

Runtime lib for ppx_yojson_conv

dev-ml/xdg

XDG Base Directory Specification

dev-ml/ocaml_intrinsics_kernel

Functions to invoke amd64 instructions (such as cmov, min/maxsd, popcnt)

dev-ml/ppxlib_jane

Utilities for working with Jane Street AST constructs

dev-ml/capitalization

Defines case conventions and functions to rename identifiers according to them

dev-ml/ppx_string_conv

Ppx extension for generating of_string & to_string