Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Project
ML
Packages
235
Stabilization
0
Outdated
41
Pull requests
1
Bugs
43
Security
0
Changelog
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_log
Logging library built on top of Async_unix
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/capitalization
Defines case conventions and functions to rename identifiers according to them
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/cstruct
Access C-like structures directly from OCaml
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
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/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/gel
A library to mark non-record fields global.
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
Portable clock implementation for Unix and Xen
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_intrinsics_kernel
Functions to invoke amd64 instructions (such as cmov, min/maxsd, popcnt)
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/ocurl
OCaml interface to the libcurl library
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_diff
A PPX rewriter that genreates the implementation of [Ldiffable.S].
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/ppxlib_jane
Utilities for working with Jane Street AST constructs
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_string_conv
Ppx extension for generating of_string & to_string
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/uopt
An [option]-like type that incurs no allocation
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/xml-light
Minimal Xml parser and printer 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-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
net-misc
net-misc/unison
Two-way cross-platform file synchronizer
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
Description
The ML Project maintains packages related to the ML programming language family.
External Resources
CI Report
(
verbose
)
Documentation
Members
Sam James
Alfredo Tupone
Maciej Barć
Shortcuts
app-emacs
dev-lang
dev-ml
dev-util
net-misc
sci-calculators
sci-mathematics
sys-fs