Search: gentoo-sources
Search Results
sci-libs/coinor-vol
COIN-OR volume algorithm linear program solver
sci-libs/ogdi
Open Geographical Datastore Interface, a GIS support library
sci-libs/szip
Extended-Rice lossless compression algorithm implementation
sci-libs/colamd
Column approximate minimum degree ordering algorithm
sci-libs/cdf
Common Data Format I/O library for multi-dimensional data sets
sci-libs/cholmod
Sparse Cholesky factorization and update/downdate library
sci-libs/htslib
C library for high-throughput sequencing data formats
sci-libs/primegen
Small, fast library to generate primes in order
sci-libs/arborx
Library for performance portable algorithms for geometric search
sci-libs/bliss
Compute Automorphism Groups and Canonical Labelings of Graphs
sci-libs/cartopy
Python package for geospatial data processing and analysis
sci-libs/geos
Geometry engine library for Geographic Information Systems
sci-libs/hipSOLVER
CU / ROCM agnostic marshalling library for LAPACK routines on the GPU
sci-libs/hipsparselt
Sparse GEMM operations library for AMD Instinct accelerators
sci-libs/kissfft
A Fast Fourier Transform (FFT) library that tries to Keep it Simple, Stupid
sci-libs/libcerf
Efficient and accurate implementation of complex error functions
sci-libs/nanoflann
C++ header-only library for Nearest Neighbor (NN) search wih KD-trees
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/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/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