Search:

dev-ml/ocamlmod

Generate OCaml modules from source files

dev-ml/tyxml

A libary to build xml trees typechecked by OCaml

dev-ml/variantslib

OCaml variants as first class values

www-servers/ocsigenserver

Ocaml-powered webserver and framework for dynamic web programming

dev-ml/pgocaml

PG'OCaml is a set of OCaml bindings for the PostgreSQL database

dev-lang/teyjus

Higher-order logic programming language Lambda Prolog

sci-mathematics/alt-ergo

Automatic theorem prover

dev-ml/macaque

DSL for SQL Queries in Caml

dev-ml/typerep

Library for creating runtime representation of OCaml types

dev-ml/deriving

A deriving library for Ocsigen

dev-ml/optcomp

Optional compilation for OCaml with cpp-like directives

sci-mathematics/why3

Why is a software verification platform.

dev-ml/cudf

Library to parse, pretty print, and evaluate CUDF documents

dev-ml/ocaml-re

Regular expression library for OCaml

dev-ml/parmap

Library to exploit multicore architectures for OCaml programs

dev-ml/dose3

Library to perform analysis on package repositories

dev-ml/cmdliner

Declarative definition of command line interfaces for OCaml

dev-ml/opam

A source-based package manager for OCaml

dev-ml/uutf

Non-blocking streaming Unicode codec for OCaml

dev-ml/biniou

A binary data serialization format inspired by JSON for OCaml

dev-ml/easy-format

Pretty-printing library for OCaml

dev-ml/yojson

Low-level JSON parsing and pretty-printing library for OCaml

dev-ml/camlp4

System for writing extensible parsers for programming languages

dev-ml/labltk

OCaml interface to the Tcl/Tk GUI framework

dev-ml/ocaml-ipaddr

OCaml library for manipulation of IP (and MAC) address representations

dev-ml/reactiveData

Functional reactive programming with incremental changes in data structures

sci-mathematics/jessie2

Software verification platform

dev-ml/ocplib-endian

Functions to read and write int16/32/64 from strings, bytes, and bigarrays

dev-ml/stringext

Extra string functions for OCaml

dev-ml/ppx_tools

Tools for authors of ppx rewriters

dev-ml/ppx_assert

Assert-like extension nodes that raise useful errors on failure

dev-ml/ppx_bench

Syntax extension for writing in-line benchmarks in ocaml code

dev-ml/ppx_bin_prot

Generation of bin_prot readers and writers from types

dev-ml/ppx_compare

Generation of comparison functions from types

dev-ml/ppx_custom_printf

Printf-style format-strings for user-defined string conversion

dev-ml/ppx_deriving

Type-driven code generation for OCaml

dev-ml/ppx_driver

Feature-full driver for OCaml AST transformers

dev-ml/ppx_enumerate

Generate a list containing all values of a finite type

dev-ml/ppx_expect

Cram like framework for OCaml

dev-ml/ppx_fail

Add location to calls to failwiths

dev-ml/ppx_fields_conv

Generation of accessor and iteration functions for ocaml records

dev-ml/ppx_here

Expands [%here] into its location

dev-ml/ppx_inline_test

Syntax extension for writing in-line tests in ocaml code

dev-ml/ppx_jane

Standard Jane Street ppx rewriters

dev-ml/ppx_let

Monadic let-bindings

dev-ml/ppx_optcomp

Optional compilation for OCaml

dev-ml/ppx_pipebang

A ppx rewriter that inlines reverse application operators |> and |!

dev-ml/ppx_sexp_conv

Support Library for type-driven code generators

dev-ml/ppx_sexp_message

A ppx rewriter for easy construction of s-expressions

dev-ml/ppx_sexp_value

Standard library for ppx rewriters