Search: gentoo-sources

sci-libs/coinor-cgl

COIN-OR cut-generation library

sci-libs/jama

Java-like matrix C++ templates

sci-libs/adolc

Automatic differentiation system for C/C++

sci-libs/coinasl

Ampl Solver Library (ASL)

sci-libs/gts

GNU Triangulated Surface Library

sci-libs/libmuscle

Library for sci-biology/mauve

sci-libs/libticalcs2

Library for communication with TI calculators

sci-libs/libtifiles2

Library for TI calculator files

sci-libs/superlu

Sparse LU factorization library

sci-libs/clblast

Tuned OpenCL BLAS

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