Search:

dev-ml/gen

Iterators for OCaml, both restartable and consumable

dev-ml/sedlex

An OCaml lexer generator for Unicode

dev-lang/haxe

Multi-target universal programming language

dev-ml/ocaml-process

Easy process control for OCaml

dev-ml/ocaml-stdint

Signed and unsigned integer types having specified widths

dev-ml/ptmap

Maps of integers implemented as Patricia trees

dev-ml/fix

Facilities for memoization and fixed points

dev-ml/charinfo_width

Determine column width for a character

dev-ml/lwt_log

Cooperative light-weight thread library for OCaml

dev-ml/mew

General modal editing engine generator

dev-ml/mew_vi

A vi-like modal editing engine generator

dev-ml/qcheck

QuickCheck inspired property-based testing for OCaml

dev-ml/qtest

Inline (Unit) Tests for OCaml

dev-ml/trie

Strict impure trie tree

dev-ml/zed

Abstract engine for text edition in OCaml

dev-ml/lambda-term

Terminal manipulation library for OCaml

dev-ml/reason

Simple, fast & type safe language that leverages JavaScript and OCaml

dev-ml/utop

Universal toplevel for OCaml

dev-lang/fstar

Verification system for effectful programs

dev-ml/dune-build-info

Embed locations informations inside executable and libraries

dev-ml/dune-site

Embed locations informations inside executable and libraries

dev-ml/ocaml-inifiles

A small OCaml library to read and write .ini files

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/ocaml-inotify

OCaml bindings for inotify

dev-ml/ocaml-lilv

OCaml bindings to lilv

dev-ml/ocaml-mem_usage

Cross-platform memory usage information

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/bheap

OCaml binary heap implementation by Jean-Christophe Filliatre

dev-ml/bigstringaf

Bigstring intrinsics and fast blits based on memcpy/memmove

dev-ml/domain-name

RFC 1035 Internet domain names

dev-ml/cstruct

Map OCaml arrays onto C-like structs

dev-ml/lwt-dllist

Mutable doubly-linked list with Lwt iterators

dev-ml/pecu

Implementation of quoted-printable encoder/decoder from RFC2045

dev-ml/ptime

POSIX time for OCaml

dev-ml/stringext

Extra string functions for OCaml

dev-ml/tyxml

A library for building correct HTML and SVG documents

dev-ml/cdrom

Query the state and contents of CDROM devices under Linux

dev-ml/core_unix

Unix-specific portions of Core

dev-ml/crowbar

Write tests, let a fuzzer find failing cases

dev-ml/expect_test_helpers_core

Helpers for writing expectation tests

dev-ml/gmap

Heterogenous Map over a GADT