Gentoo Project

ML

Outdated Packages

• dev-lang/ocaml

  Programming language supporting functional, imperative & object-oriented styles
• dev-ml/batteries

  A community-maintained standard library extension
• dev-ml/camlidl

  CamlIDL is a stub code generator for using C/C++ libraries from O'Caml
• dev-ml/camlp4

  System for writing extensible parsers for programming languages
• dev-ml/camlp5

  A preprocessor-pretty-printer of ocaml
• dev-ml/charinfo_width

  Determine column width for a character
• dev-ml/coq-menhirlib

  A support library for verified Coq parsers produced by Menhir
• dev-ml/dune

  A composable build system for OCaml
• dev-ml/dune-build-info

  Embed locations informations inside executable and libraries
• dev-ml/dune-configurator

  Helper library for gathering system configuration
• dev-ml/dune-private-libs

  Private libraries of Dune
• dev-ml/dune-site

  Embed locations informations inside executable and libraries
• dev-ml/dyn

  Dynamic type
• dev-ml/labltk

  OCaml interface to the Tcl/Tk GUI framework
• dev-ml/merlin

  Context sensitive completion for OCaml in Vim and Emacs
• dev-ml/ocamlgraph

  O'Caml Graph library
• dev-ml/ocplib-simplex

  A library implementing a simplex algorithm
• dev-ml/odoc

  OCaml documentation generator
• dev-ml/opam

  A source-based package manager for OCaml
• dev-ml/opam-core

  Core libraries for opam
• dev-ml/opam-format

  Core libraries for opam
• dev-ml/opam-installer

  Core installer for opam packages
• dev-ml/opam-repository

  opam repository libraries
• dev-ml/opam-state

  opam state libraries
• dev-ml/ordering

  Element ordering
• dev-ml/patience_diff

  Tool and library implementing patience diff
• dev-ml/pp

  Pretty-printing library
• dev-ml/ppx_inline_test

  Syntax extension for writing in-line tests in ocaml code
• dev-ml/ppxlib

  Base library and tools for ppx rewriters
• dev-ml/qcheck

  QuickCheck inspired property-based testing for OCaml
• dev-ml/re

  Regular expression library for OCaml
• dev-ml/sedlex

  An OCaml lexer generator for Unicode
• dev-ml/stdune

  Dune's unstable standard library
• dev-ml/utop

  Universal toplevel for OCaml
• dev-ml/uuseg

  Unicode text segmentation for OCaml
• dev-ml/zmq

  OCaml bindings for ZeroMQ 4.x
• dev-ml/zmq-lwt

  Lwt-aware bindings to ZMQ for OCaml
• sci-mathematics/alt-ergo

  Automatic theorem prover
• sci-mathematics/why3

  Platform for deductive program verification