Search: gentoo-sources
Search Results
sci-mathematics/ent
Random number sequence test and entropy calculation
sci-mathematics/frobby
Software system and project for computations with monomial ideals
sci-mathematics/kissat
Keep-it-simple and clean bare metal SAT solver written in C
sci-mathematics/lcalc
Command-line utility and library for L-function computations
sci-mathematics/lpsolve
Mixed Integer Linear Programming (MILP) solver
sci-mathematics/octave
High-level interactive language for numerical computations
sci-mathematics/pari
Computer-aided number theory C library and tools
sci-mathematics/topcom
Computing Triangulations Of Point Configurations and Oriented Matroids
sci-mathematics/coq-serapi
Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics/flocq
Formalization of floating-point arithmetic for the Coq proof assistant
sci-mathematics/kind2
Multi-engine SMT-based automatic model checker
sci-mathematics/maxima
Free computer algebra environment based on Macsyma
sci-mathematics/verifpal
Cryptographic protocol analysis for real-world protocols
sci-misc/cdfplayer
Wolfram Player for the interactive Computable Document Format (CDF)
sci-physics/siscone
Hadron Seedless Infrared-Safe Cone jet algorithm
sci-physics/looptools
Tools for evaluation of scalar and tensor one-loop integrals
sci-physics/espresso
Extensible Simulation Package for Research on Soft matter
sci-physics/lhapdf
Les Houches Parton Density Function unified library
sci-physics/rivet
Robust Independent Validation of Experiment and Theory toolkit
sci-visualization/gnuplot
Command-line driven interactive plotting program
sci-visualization/gwyddion
Framework for Scanning Mode Microscopy data analysis
sci-visualization/dash
Python framework for building ML & data science web apps
sci-visualization/labplot
Scientific data analysis and visualisation based on KDE Frameworks
sci-visualization/veusz
Qt scientific plotting package with good Postscript output
sys-apps/ifplugd
Brings up/down ethernet ports automatically with cable detection
sys-apps/yarn
Fast, reliable, and secure node dependency management
sys-apps/nosig
Block signals before running programs (a generic "nohup")
sys-apps/cinit
a fast, small and simple init with support for profiles
sys-apps/dmidecode
DMI (Desktop Management Interface) table related utilities
sys-apps/highway
High performance source code search tool
sys-apps/ifd-gempc
GemCore based PC/SC reader drivers for pcsc-lite
sys-apps/iotools
Simple commands to access hardware device registers
sys-apps/lcdutils
(Sun) Cobalt Qube/RaQ button reading and LCD writing utilities
sys-apps/likwid
A performance-oriented tool suite for x86 multicore environments
sys-apps/lsvpd
Utility to List Device Vital Product Data (VPD)
sys-apps/mcstrans
SELinux context translation to human readable names
sys-apps/memtester
Userspace utility for testing the memory subsystem for faults
sys-apps/moreutils
Collection of tools that nobody thought to write when Unix was young
sys-apps/netplug
Brings up/down ethernet ports automatically with cable detection
sys-apps/noexec
Package for preventing processes from using exec system calls
sys-apps/restorecond
Daemon to watch for creation and set default SELinux fcontexts
sys-apps/tas
Supermicro Thin-Agent Service for monitoring through the BMC/IPMI
sys-apps/xmbmon
Mother Board Monitor Program for X Window System
sys-apps/accountsservice
D-Bus interfaces for querying and manipulating user account information
sys-apps/gsmartcontrol
Hard Disk Drive and SSD Health Inspection Tool
sys-apps/irqbalance
Distribute hardware interrupts across processors on a multiprocessor system
sys-apps/polychromatic
RGB lighting management software for GNU/Linux powered by OpenRazer
sys-apps/razercommander
GTK contol center for managing Razer peripherals on Linux
sys-apps/ripgrep
Search tool that combines the usability of ag with the raw speed of grep
sys-apps/tuned
Daemon for monitoring and adaptive tuning of system devices