Search: gentoo-sources

sci-libs/hipSPARSE

ROCm SPARSE marshalling library

sci-libs/libaec

Adaptive Entropy Coding library

sci-libs/libcifpp

Code to work with mmCIF and PDB files

sci-libs/libigl

A simple C++ geometry processing library

sci-libs/libsc

Support for parallel scientific applications

sci-libs/libsvm

Library for Support Vector Machines

sci-libs/mkl

Intel Math Kernel Library

sci-libs/volk

vector optimized library of kernels

sci-libs/voro++

3D Voronoi cell software library

sci-mathematics/coq-mathcomp

Mathematical Components for the Coq proof assistant

sci-mathematics/bertini

Software for Numerical Algebraic Geometry

sci-mathematics/calc

Arbitrary precision C-like arithmetic system

sci-mathematics/mathmod

Plot parametric and implicit surfaces

sci-mathematics/normaliz

Tool for computations in affine monoids and more

sci-mathematics/picosat

SAT solver with proof and core support

sci-mathematics/why3

Platform for deductive program verification

sci-mathematics/alectryon

Toolkit for literate programming in Coq/Rocq

sci-mathematics/gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

sci-mathematics/ginac

C++ library and tools for symbolic calculations

sci-mathematics/manifold

Geometry library for topological robustness

sci-mathematics/plfit

Fit power-law distributions to empirical data

sci-mathematics/polymake

Tool for polyhedral geometry and combinatorics

sci-misc/fitsverify

FITS file format checker

sci-misc/ncview

X-based viewer for netCDF files

sci-physics/fastjet

A software package for jet finding in pp and e+e- collisions

sci-physics/reduze

Program for reducing Feynman integrals

sci-visualization/epix

2- and 3-D plotter for creating images (to be used in LaTeX)

sci-visualization/g3data

Tool for extracting data from graphs

sci-visualization/gr

Universal framework for cross-platform visualization applications

sys-apps/mlxup-bin

Mellanox Update and Query Utility

sys-apps/daemonize

Runs a command as a Unix daemon

sys-apps/ethq

Ethernet NIC Queue stats viewer

sys-apps/hwdata

Hardware identification and configuration data

sys-apps/logwatch

Analyzes and Reports on system logs

sys-apps/clrngd

Clock randomness gathering daemon

sys-apps/cpint

Linux/390 Interface to z/VM's Control Program

sys-apps/dcfldd

enhanced dd with features for forensics and security

sys-apps/etckeeper

A collection of tools to let /etc be stored in a repository

sys-apps/gptfdisk

GPT partition table manipulator for Linux

sys-apps/lsadb

Prints out information on all devices attached to the ADB bus

sys-apps/makedev

Program used for creating device files in /dev

sys-apps/man2html

Standard commands to read man pages

sys-apps/memtest86+

Memory tester based on PCMemTest

sys-apps/minised

a smaller, cheaper and faster sed implementation

sys-apps/pnputils

Plug and Play BIOS utilities

sys-apps/rkflashtool

Tool for flashing Rockchip devices

sys-apps/shadow

Utilities to deal with user accounts

sys-apps/syscriptor

Display misc information about your hardware

sys-apps/sysvinit

/sbin/init - parent of all processes

sys-apps/unscd

simple & stable nscd replacement