Search:

dev-ml/re

Regular expression library for OCaml

dev-ml/sexplib0

Library for automated conversion of OCaml-values to and from S-expressions

dev-ml/splittable_random

PRNG that can be split into independent streams

dev-ml/time_now

Reports the current time

dev-ml/graphics

The OCaml graphics library

dev-ml/calendars

Convert dates between gregorian/julian/french/hebrew calendars

dev-ml/jingoo

OCaml template engine almost compatible with Jinja2

dev-ml/unidecode

Convert unicode strings into its ASCII representation

dev-ml/ocaml-gettext-camomile

Support for internationalization of OCaml programs using the Camomile library

dev-ml/ocaml-gettext-stub

Support for internationalization of OCaml programs using native gettext library

dev-ml/base_bigstring

String type based on Bigarray, for use in I/O and C-bindings

dev-ml/core_bench

Micro-benchmarking library for OCaml

dev-ml/timezone

Time-zone handling for OCaml

dev-ml/protocol_version_header

Protocol aware version negotiation for OCaml

dev-ml/duration

Duration - conversions to various time units

dev-ml/mirage-clock

A lightweight and colourful test framework

dev-ml/uuidm

Universally unique identifiers (UUIDs) for OCaml

dev-ml/bigarray-compat

Compatibility library to use Stdlib.Bigarray when possible

dev-ml/merlin

Context sensitive completion for OCaml in Vim and Emacs

sci-mathematics/frama-c-aorai

Aorai (automaton annotations) plugin for frama-c

sci-mathematics/frama-c-callgraph

Callgraph plugin for frama-c

sci-mathematics/frama-c-e-acsl

Runtime verification of ACSL (E-ACSL) plugin for frama-c

sci-mathematics/frama-c-constant-folding

Constant folding plugin for frama-c

sci-mathematics/frama-c-dive

Dive plugin for frama-c

sci-mathematics/frama-c-eva

Value analysis (EVA) plugin for frama-c

sci-mathematics/frama-c-from

From analysis plugin for frama-c

sci-mathematics/frama-c-inout

In/out analysis plugin for frama-c

sci-mathematics/frama-c-instantiate

Instantiate analysis plugin for frama-c

sci-mathematics/frama-c-impact

Impact plugin for frama-c

sci-mathematics/frama-c-metrics

Metrics plugin for frama-c

sci-mathematics/frama-c-loopanalysis

Loop analysis plugin for frama-c

sci-mathematics/frama-c-obfuscator

Obfuscator plugin for frama-c

sci-mathematics/frama-c-nonterm

Nonterm plugin for frama-c

sci-mathematics/frama-c-pdg

Program dependence graph plugin for frama-c

sci-mathematics/frama-c-occurrence

Occurrence analysis plugin for frama-c

sci-mathematics/frama-c-qed

Qed plugin for frama-c

sci-mathematics/frama-c-printapi

Plugin generating .mli interface files for plugin APIs for frama-c

sci-mathematics/frama-c-postdominators

Postdominators plugin for frama-c

sci-mathematics/frama-c-rtegen

Runtime error annotation (RTE) generation plugin for frama-c

sci-mathematics/frama-c-report

Report plugin for frama-c

sci-mathematics/frama-c-security-slicing

Security slicing plugin for frama-c

sci-mathematics/frama-c-server

Server plugin for frama-c

sci-mathematics/frama-c-scope

Scope plugin for frama-c

sci-mathematics/frama-c-slicing

Slicing plugin for frama-c

sci-mathematics/frama-c-studia

Studia plugin for frama-c

sci-mathematics/frama-c-sparecode

Spare code plugin for frama-c

sci-mathematics/frama-c-variadic

Variadic function transformation plugin for frama-c

sci-mathematics/frama-c-users

Users plugin for frama-c

dev-ml/luv

Binding to libuv: cross-platform asynchronous I/O

dev-ml/pprint

A pretty-printing combinator library and rendering engine