Search:

sci-mathematics/easycrypt

Computer-Aided Cryptographic Proofs

dev-ml/ppx_import

A syntax extension for importing declarations from interface files

sci-mathematics/coq-serapi

Serialization library and protocol for interaction with the Coq proof assistant

dev-ml/memtrace

Streaming client for OCaml's Memprof

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

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