Search: gentoo-sources

sci-libs/dlib

Numerical and networking C++ library

sci-libs/highfive

Header-only C++ interface for libhdf5

sci-libs/hipFFT

CU / ROCM agnostic hip FFT implementation

sci-libs/mathgl

Math Graphics Library

sci-libs/miopen

AMD's Machine Intelligence Library

sci-libs/nlopt

Non-linear optimization library

sci-libs/numkit

Numerical first aid kit (with numpy/scipy)

sci-libs/orocos-bfl

Bayesian Filtering Library

sci-libs/rocFFT

Next generation FFT implementation for ROCm

sci-libs/sundials

Suite of nonlinear solvers

sci-mathematics/lrcalc

Littlewood-Richardson Calculator

sci-mathematics/cadical

Simplified Satisfiability Solver

sci-mathematics/euler

Mathematical programming environment

sci-mathematics/form

Symbolic Manipulation System

sci-mathematics/geomview

Interactive Geometry Viewer

sci-mathematics/mathomatic

Automatic algebraic manipulator

sci-mathematics/otter

An Automated Deduction System

sci-mathematics/twelf

Implementation of the logical framework LF

sci-mathematics/alt-ergo

Automatic theorem prover

sci-mathematics/clipper2

Polygon Clipping and Offsetting

sci-mathematics/libpoly

C library for manipulating polynomials

sys-apps/lnxhc

Linux Health Checker

sys-apps/ckbcomp

Compile an XKB keymap for loadkeys

sys-apps/attr

Extended attributes tools

sys-apps/checkpolicy

SELinux policy compiler

sys-apps/chname

Run a command with a new system hostname

sys-apps/debianutils

A selection of tools from Debian

sys-apps/fbset

A utility to set the framebuffer videomode

sys-apps/fwts

Firmware Test Suite

sys-apps/gawk

GNU awk pattern-matching language

sys-apps/grep

GNU regular expression matcher

sys-apps/groff

Text formatter used for man pages

sys-apps/ipmiutil

IPMI Management Utilities

sys-apps/isapnptools

Tools for configuring ISA PnP devices

sys-apps/keyutils

Linux Key Management Utilities

sys-apps/mount-gtk

GTK+ based UDisks2 frontend

sys-apps/paxctld

PaX flags maintenance daemon

sys-apps/preload

Adaptive readahead daemon

sys-apps/qdirstat

Qt-based directory statistics

sys-apps/qingy

A DirectFB getty replacement

sys-apps/setserial

Configure your serial ports with it

sys-apps/spu-tools

CELL spu ps and top alike utilities

sys-apps/texinfo

The GNU info program and utilities

sys-apps/usbmon

Userland for USB monitoring framework

sys-apps/xinetd

Powerful replacement for inetd

sys-apps/findutils

GNU utilities for finding files

sys-apps/pandora_box

Syd's log inspector & profile writer

sys-apps/pkgcore

a framework for package management

sys-apps/policycoreutils

SELinux core utilities

sys-apps/razergenie

Razer devices configurator