Search: gentoo-sources
Search Results
sci-libs/octomap
Efficient Probabilistic 3D Mapping Framework Based on Octrees
sci-libs/pastix
Parallel solver for very large sparse linear systems
sci-libs/pdal
C++ library for translating and manipulating point cloud data
sci-libs/rocSOLVER
Implementation of a subset of LAPACK functionality on the ROCm platform
sci-libs/rocSPARSE
Basic Linear Algebra Subroutines for sparse computation
sci-libs/rpp
AMD ROCm Performance Primitives (RPP) high-performance computer vision library
sci-libs/scalapack
Subset of LAPACK routines redesigned for heterogenous (MPI) computing
sci-libs/trilinos
Scientific library collection for large scale problems
sci-mathematics/cudd
Colorado University binary Decision Diagram library
sci-mathematics/cliquer
C routines for finding cliques in an arbitrary weighted graph
sci-mathematics/rngstreams
Multiple independent streams of pseudo-random numbers
sci-mathematics/4ti2
Software package for algebraic, geometric and combinatorial problems
sci-mathematics/abc
System for sequential logic synthesis and formal verification
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/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/acl
Access control list utilities, libraries, and headers
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