Gentoo Project

ML

app-emacs

• app-emacs/dune-format

  Reformat OCaml's dune files automatically

dev-lang

• dev-lang/elpi

  Embeddable Lambda Prolog Interpreter in OCaml
• 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/ANSITerminal

  Basic control of ANSI compliant terminals and the windows shell
• dev-ml/async

  Jane Street Capital's asynchronous execution library
• dev-ml/async_kernel

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

  Platform-independent core of Async RPC library
• dev-ml/async_unix

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

  Static types for JSON APIs
• dev-ml/base

  Standard library for OCaml
• dev-ml/base_bigstring

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

  Randomized testing framework, designed for compatibility with Base
• 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/bin_prot

  Binary protocol generator
• 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/camlbz2

  OCaml bindings for libbz (AKA, bzip2)
• dev-ml/camldbm

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

  Stub code generator for OCaml
• dev-ml/camlp4

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

  A preprocessor-pretty-printer of ocaml
• dev-ml/camlp-streams

  Stream and Genlex libraries for use with Camlp4 and Camlp5
• 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/cmdliner

  Declarative definition of command line interfaces for OCaml
• dev-ml/coq-menhirlib

  A support library for verified Coq parsers produced by Menhir
• 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/core_unix

  Unix-specific portions 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/curses

  Bindings to ncurses
• 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

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

  Helpers for writing expectation tests
• dev-ml/extlib

  Standard library extensions for O'Caml
• dev-ml/facile

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

  Folding over record fields
• 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/gapi-ocaml

  A simple OCaml client for Google Services
• 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/int_repr

  Integers of various widths
• dev-ml/jane-street-headers

  Jane Street header files
• dev-ml/jingoo

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

  Compile-time configuration for Jane Street libraries
• 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/mccs

  Multi Criteria CUDF Solver
• dev-ml/memtrace

  Streaming client for OCaml's Memprof
• 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/mmap

  File mapping
• 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/ocamlbuild

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

  Repackage the OCaml compiler libs so they do not expose everything at toplevel
• dev-ml/ocaml-ctypes

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

  OCaml bindings for expat
• dev-ml/ocamlfuse

  OCaml binding for fuse
• dev-ml/ocamlgraph

  O'Caml Graph library
• dev-ml/ocaml-inifiles

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

  Invoke amd64 instructions (such as clz, popcnt, rdtsc, rdpmc)
• dev-ml/ocaml-migrate-parsetree

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

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

  Easy process control for OCaml
• dev-ml/ocamlsdl

  OCaml SDL Bindings
• 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/ocamlweb

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

  Functions to read and write int16/32/64 from strings, bytes, and bigarrays
• dev-ml/ocplib-simplex

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

  ocamldoc comment syntax parser
• dev-ml/odoc

  OCaml documentation generator
• dev-ml/odoc-parser

  Parser for ocaml documentation comments
• 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/ordering

  Element ordering
• dev-ml/ounit2

  Unit testing framework for OCaml
• dev-ml/parmap

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

  S-expression parsing library
• dev-ml/patience_diff

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

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

  Pretty-printing library
• 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_base

  Base set of ppx rewriters
• 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_blob

  Include a file as a string at compile time
• dev-ml/ppx_cold

  Expands [@cold] into [@inline never][@specialise never][@local never]
• 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_derivers

  Shared [@@deriving] plugin registry
• dev-ml/ppx_deriving

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

  JSON codec generator for OCaml
• dev-ml/ppx_disable_unused_warnings

  Expands [@disable_unused_warnings]
• 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_fixed_literal

  Simpler notation for fixed point literals
• dev-ml/ppx_globalize

  Generates functions to copy local values to the global heap
• dev-ml/ppx_hash

  PPX rewriter that generates hash functions from type expressions and definitions
• dev-ml/ppx_here

  Expands [%here] into its location
• dev-ml/ppx_ignore_instrumentation

  Ignore Jane Street specific instrumentation extensions
• dev-ml/ppx_import

  A syntax extension for importing declarations from interface files
• 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_js_style

  Code style checker for Jane Street Packages
• dev-ml/ppx_let

  Monadic let-bindings
• dev-ml/ppxlib

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

  Lazily rendering log messages
• dev-ml/ppx_module_timer

  Ppx rewriter that records top-level module startup times
• dev-ml/ppx_optcomp

  Optional compilation for OCaml
• dev-ml/ppx_optional

  Pattern matching on flat options
• 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
• dev-ml/ppx_stable

  Stable types conversions generator
• dev-ml/ppx_stable_witness

  Ppx extension for deriving a witness that a type is intended to be stable
• dev-ml/ppx_string

  Ppx extension for string interpolation
• dev-ml/ppx_tools

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

  Let expressions, inferring pattern type from expression
• 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/protocol_version_header

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

  POSIX time 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/react

  OCaml module for functional reactive programming
• dev-ml/reason

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

  Compat result type
• 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/sexplib

  Library for automated conversion of OCaml-values to and from S-expressions
• dev-ml/sexplib0

  Library for automated conversion of OCaml-values to and from S-expressions
• dev-ml/sexp_pretty

  S-expression pretty-printer
• dev-ml/spawn

  Spawning sub-processes
• dev-ml/splittable_random

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

  Compatibility module for OCaml standard library
• dev-ml/stdio

  Standard IO Library for OCaml
• dev-ml/stdune

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

  Text output utilities
• dev-ml/textutils_kernel

  Text output utilities
• dev-ml/time_now

  Reports the current time
• dev-ml/timezone

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

  Minimal HTTP server with a small request router
• dev-ml/topkg

  The transitory OCaml software packager
• dev-ml/trie

  Strict impure trie tree
• dev-ml/typerep

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

  A library for building correct HTML and SVG documents
• 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/uuseg

  Unicode text segmentation for OCaml
• dev-ml/uutf

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

  OCaml variants as first class values
• 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-ml/zmq

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

  Async-aware bindings to ZMQ for OCaml
• dev-ml/zmq-lwt

  Lwt-aware bindings to ZMQ for OCaml

dev-util

• dev-util/coccigrep

  A semantic grep for the C language
• dev-util/coccinelle

  Program matching and transformation engine
• dev-util/patdiff

  Colored patience diffs with word-level refinement

sci-calculators

• sci-calculators/orpie

  A fullscreen RPN calculator for the console

sci-mathematics

• sci-mathematics/alt-ergo

  Automatic theorem prover
• sci-mathematics/cubicle

  Model checker for verifying properties of array-based systems
• sci-mathematics/easycrypt

  Computer-Aided Cryptographic Proofs
• sci-mathematics/kind2

  Multi-engine SMT-based automatic model checker
• sci-mathematics/proverif

  Cryptographic protocol verifier in the formal model
• 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

sys-fs

• sys-fs/google-drive-ocamlfuse

  FUSE filesystem over Google Drive