Gentoo Developer

Mark Wright

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