Search:

dev-ml/ocaml-posix

OCaml bindings for posix sockets

dev-ml/ocaml-srt

OCaml bindings for Secure, Reliable, Transport protocol library

dev-ml/ocaml-unix-errno

Unix errno types, maps, and support for OCaml

dev-ml/tsdl

Thin bindings to SDL for OCaml

dev-ml/curses

Bindings to ncurses

sci-misc/ocamorph

Hungarian morphological analyser written in ocaml

dev-ml/camlp-streams

Stream and Genlex libraries for use with Camlp4 and Camlp5

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/0install-solver

SAT-based package dependency solver

dev-ml/opam-0install-cudf

Opam solver using 0install backend using the CUDF interface

dev-ml/spdx_licenses

Library providing a strict SPDX License Expression parser

dev-ml/swhid_core

Library to work with Software Heritage persistent identifiers (swhids)

dev-ml/dune-rpc

Communicate with dune using rpc

dev-ml/ocaml-version

Library to parse and enumerate releases of the OCaml compiler