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 Developer
Mark Wright
Packages
113
Stabilization
7
Outdated
18
Pull requests
2
Bugs
14
Security
1
Changelog
acct-group
acct-group/rstudio-server
group for sci-mathematics/rstudio
acct-user
acct-user/rstudio-server
user for sci-mathematics/rstudio
app-doc
app-doc/mathjax-docs
MathJax documentation
app-eselect
app-eselect/eselect-scala
Manages multiple Scala versions
dev-cpp
dev-cpp/libodb
Common ODB runtime library
dev-cpp/libodb-sqlite
Common ODB runtime library
dev-java
dev-java/gin
Google Gin (GWT INjection)
dev-java/gwt
Google Web Toolkit library
dev-java/sbt
sbt is a build tool for Scala and Java projects that aims to do the basics well
dev-lang
dev-lang/ocaml
Programming language supporting functional, imperative & object-oriented styles
dev-lang/teyjus
Higher-order logic programming language Lambda Prolog
dev-libs
dev-libs/mathjax
JavaScript display engine for LaTeX, MathML and AsciiMath
dev-ml
dev-ml/base
Standard library for OCaml
dev-ml/base_quickcheck
Randomized testing framework, designed for compatibility with Base
dev-ml/bin_prot
Binary protocol generator
dev-ml/cairo2
Binding to Cairo, a 2D Vector Graphics Library
dev-ml/camlbz2
OCaml bindings for libbz (AKA, bzip2)
dev-ml/camlp4
System for writing extensible parsers for programming languages
dev-ml/camlp5
A preprocessor-pretty-printer of ocaml
dev-ml/cinaps
Trivial metaprogramming tool
dev-ml/cmdliner
Declarative definition of command line interfaces for OCaml
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-configurator
A composable build system for OCaml
dev-ml/dune-private-libs
Private libraries of Dune
dev-ml/extlib
Standard library extensions for O'Caml
dev-ml/fieldslib
Folding over record fields
dev-ml/findlib
OCaml tool to find/use non-standard packages
dev-ml/integers
Various signed and unsigned integer types for OCaml
dev-ml/jane-street-headers
Jane Street header files
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/lwt
Cooperative light-weight thread library for OCaml
dev-ml/mccs
Multi Criteria CUDF Solver
dev-ml/mmap
File mapping
dev-ml/num
Library for arbitrary-precision integer and rational arithmetic
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/ocaml-migrate-parsetree
Convert OCaml parsetrees between different major versions
dev-ml/ocamlbuild
Generic build tool with built-in rules for building OCaml library and programs
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/octavius
ocamldoc comment syntax parser
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/parsexp
S-expression parsing library
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_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_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_hash
PPX rewriter that generates hash functions from type expressions and definitions
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_js_style
Code style checker for Jane Street Packages
dev-ml/ppx_let
Monadic let-bindings
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_string
Ppx extension for string interpolation
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/ppxlib
Base library and tools for ppx rewriters
dev-ml/re
Regular expression library for OCaml
dev-ml/result
Compat result type
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/splittable_random
PRNG that can be split into independent streams
dev-ml/stdio
Standard IO Library for OCaml
dev-ml/time_now
Reports the current time
dev-ml/topkg
The transitory OCaml software packager
dev-ml/typerep
Library for creating runtime representation of OCaml types
dev-ml/variantslib
OCaml variants as first class values
dev-util
dev-util/build2
cross-platform toolchain for building and packaging C++ code
sci-mathematics
sci-mathematics/prover9
Automated theorem prover for first-order and equational logic
sci-mathematics/sha1-polyml
implementation of SHA1 is taken from the GNU coreutils package
sci-mathematics/twelf
Implementation of the logical framework LF
sci-mathematics/z3
An efficient theorem prover
sys-firmware
sys-firmware/iwl3160-7260-bt-ucode
Firmware for Intel (R) Wireless 3160, 7260, 7265 Bluetooth
sys-firmware/iwl3160-ucode
Firmware for Intel (R) Dual Band Wireless-AC 3160
sys-firmware/iwl7260-ucode
Firmware for Intel (R) Dual Band Wireless-AC 7260
x11-misc
x11-misc/cdm
The Console Display Manager
x11-terms
x11-terms/wezterm
A GPU-accelerated cross-platform terminal emulator and multiplexer
External Resources
CI Report
(
verbose
)
Git log
Projects
Haskell
Mathematics Project
Shortcuts
acct-group (1)
acct-user (1)
app-doc (1)
app-eselect (1)
dev-cpp (2)
dev-java (3)
dev-lang (2)
dev-libs (1)
dev-ml (91)
dev-util (1)
sci-mathematics (4)
sys-firmware (3)
x11-misc (1)
x11-terms (1)