Gentoo Project

ML

dev-lang

• dev-lang/haxe

  Multi-target universal programming language
• dev-lang/neko

  Neko is a high-level dynamically typed programming language
• dev-lang/ocaml

  Programming language supporting functional, imperative & object-oriented styles
• dev-lang/polyml

  Poly/ML is a full implementation of Standard ML
• dev-lang/smlnj

  Standard ML of New Jersey compiler and libraries

dev-ml

• dev-ml/alcotest

  A lightweight and colourful test framework
• dev-ml/async_kernel

  Jane Street Capital's asynchronous execution library (core)
• dev-ml/async_unix

  Jane Street Capital's asynchronous execution library (unix)
• dev-ml/base_bigstring

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

  A community-maintained standard library extension
• dev-ml/bigarray-compat

  Compatibility library to use Stdlib.Bigarray when possible
• dev-ml/biniou

  A binary data serialization format inspired by JSON for OCaml
• dev-ml/bos

  Basic OS interaction for OCaml
• dev-ml/cairo2

  Binding to Cairo, a 2D Vector Graphics Library
• dev-ml/calendars

  Convert dates between gregorian/julian/french/hebrew calendars
• dev-ml/camldbm

  OCaml binding to the NDBM/GDBM Unix databases
• dev-ml/camlp4

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

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

  Compressed file access ML library (ZIP, GZIP and JAR)
• dev-ml/camomile

  Camomile is a comprehensive Unicode library for ocaml
• dev-ml/charinfo_width

  Determine column width for a character
• dev-ml/cinaps

  Trivial metaprogramming tool
• dev-ml/core

  Jane Street's alternative to the standard library
• dev-ml/core_bench

  Micro-benchmarking library for OCaml
• dev-ml/core_kernel

  System-independent part of Core
• dev-ml/cppo

  An equivalent of the C preprocessor for OCaml programs
• dev-ml/csexp

  Parsing and printing of S-expressions in Canonical form
• dev-ml/cudf

  Library to parse, pretty print, and evaluate CUDF documents
• dev-ml/dose3

  Library to perform analysis on package repositories
• 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

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

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

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

  OCaml constraint programming library on integer & integer set finite domains
• dev-ml/findlib

  OCaml tool to find/use non-standard packages
• dev-ml/fix

  Facilities for memoization and fixed points
• dev-ml/fpath

  File system paths for OCaml
• dev-ml/gen

  Iterators for OCaml, both restartable and consumable
• dev-ml/graphics

  The OCaml graphics library
• dev-ml/integers

  Various signed and unsigned integer types for OCaml
• dev-ml/jingoo

  OCaml template engine almost compatible with Jinja2
• dev-ml/lablgtk

  Objective CAML interface for Gtk+2
• dev-ml/lablgtk-sourceview

  OCaml bindings to GTK-3
• dev-ml/labltk

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

  Terminal manipulation library for OCaml
• dev-ml/logs

  Logging infrastructure for OCaml
• dev-ml/luv

  Binding to libuv: cross-platform asynchronous I/O
• dev-ml/lwt

  Cooperative light-weight thread library for OCaml
• dev-ml/lwt_log

  Cooperative light-weight thread library for OCaml
• dev-ml/lwt_ssl

  GLib integration for Lwt
• dev-ml/markup

  Error-recovering streaming HTML5 and XML parsers
• dev-ml/menhir

  LR(1) parser generator for the OCaml language
• dev-ml/merlin

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

  SDK to extend Merlin
• dev-ml/mew

  General modal editing engine generator
• dev-ml/mew_vi

  A vi-like modal editing engine generator
• dev-ml/mirage-clock

  A lightweight and colourful test framework
• dev-ml/mtime

  OCaml module to access monotonic wall-clock time
• dev-ml/num

  Library for arbitrary-precision integer and rational arithmetic
• dev-ml/ocaml-base64

  Library for radix-64 representation (de)coding
• dev-ml/ocaml-ctypes

  Library for binding to C libraries using pure OCaml
• dev-ml/ocaml-inifiles

  A small OCaml library to read and write .ini files
• dev-ml/ocaml-migrate-parsetree

  Convert OCaml parsetrees between different major versions
• dev-ml/ocaml-process

  Easy process control for OCaml
• dev-ml/ocaml-sha

  Binding to the SHA cryptographic functions
• dev-ml/ocaml-ssl

  OCaml bindings for OpenSSL
• dev-ml/ocaml-stdint

  Signed and unsigned integer types having specified widths
• dev-ml/ocamlbuild

  Generic build tool with built-in rules for building OCaml library and programs
• dev-ml/ocamlgraph

  O'Caml Graph library
• dev-ml/ocamlnet

  Modules for OCaml application-level Internet protocols
• dev-ml/ocamlweb

  O'Caml literate programming tool
• dev-ml/ocplib-simplex

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

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

  opam client libraries
• dev-ml/opam-core

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

  Parser and printer for the opam file syntax
• 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-solver

  opam solver
• dev-ml/opam-state

  opam state libraries
• dev-ml/ounit2

  Unit testing framework for OCaml
• dev-ml/parmap

  Library to exploit multicore architectures for OCaml programs
• dev-ml/patience_diff

  Tool and library implementing patience diff
• dev-ml/pcre-ocaml

  Perl Compatibility Regular Expressions for O'Caml
• dev-ml/pprint

  A pretty-printing combinator library and rendering engine
• dev-ml/ppx_assert

  Assert-like extension nodes that raise useful errors on failure
• dev-ml/ppx_compare

  Generation of comparison functions from types
• dev-ml/ppx_deriving

  Type-driven code generation for OCaml
• dev-ml/ppx_deriving_yojson

  JSON codec generator for OCaml
• dev-ml/ppx_expect

  Cram like framework for OCaml
• dev-ml/ppx_sexp_conv

  Support Library for type-driven code generators
• dev-ml/ppx_tools

  Tools for authors of ppx rewriters
• dev-ml/ppx_typerep_conv

  Generation of runtime types from type declarations
• dev-ml/ppx_variants_conv

  Generation of accessor and iteration functions for ocaml variant types
• dev-ml/ppxfind

  ocamlfind ppx tool
• dev-ml/ppxlib

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

  Protocol aware version negotiation for OCaml
• dev-ml/ptmap

  Maps of integers implemented as Patricia trees
• dev-ml/qcheck

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

  Inline (Unit) Tests for OCaml
• dev-ml/re

  Regular expression library for OCaml
• dev-ml/reason

  Simple, fast & type safe language that leverages JavaScript and OCaml
• dev-ml/rresult

  Result value combinators for OCaml
• dev-ml/sedlex

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

  Compatibility package for the standard OCaml iterator type
• dev-ml/spawn

  Spawning sub-processes
• dev-ml/splittable_random

  PRNG that can be split into independent streams
• dev-ml/textutils

  Text output utilities
• dev-ml/timezone

  Time-zone handling for OCaml
• dev-ml/trie

  Strict impure trie tree
• dev-ml/typerep

  Library for creating runtime representation of OCaml types
• dev-ml/unidecode

  Convert unicode strings into its ASCII representation
• dev-ml/utop

  Universal toplevel for OCaml
• dev-ml/uucp

  Unicode character properties for OCaml
• dev-ml/uuidm

  Universally unique identifiers (UUIDs) for OCaml
• dev-ml/uunf

  Unicode text normalization
• dev-ml/uutf

  Non-blocking streaming Unicode codec for OCaml
• dev-ml/yojson

  JSON parsing and pretty-printing library for OCaml
• dev-ml/zarith

  Arithmetic and logic operations over arbitrary-precision integers
• dev-ml/zed

  Abstract engine for text edition in OCaml

dev-util

• dev-util/patdiff

  Colored patience diffs with word-level refinement

sci-mathematics

• sci-mathematics/alt-ergo

  Automatic theorem prover
• sci-mathematics/easycrypt

  Computer-Aided Cryptographic Proofs
• sci-mathematics/psmt2-frontend

  Library to parse and type-check an extension of the SMT-LIB 2 standard
• sci-mathematics/why3

  Platform for deductive program verification