Search:

sci-libs/miopen

AMD's Machine Intelligence Library

sci-libs/mkl

Intel Math Kernel Library

sci-libs/nanoflann

C++ header-only library for Nearest Neighbor (NN) search wih KD-trees

sci-libs/netcdf

Scientific library and interface for array oriented data access

sci-libs/nlopt

Non-linear optimization library

sci-libs/numkit

Numerical first aid kit (with numpy/scipy)

sci-libs/octomap

Efficient Probabilistic 3D Mapping Framework Based on Octrees

sci-libs/ondselsolver

Assembly Constraints and Multibody Dynamics code

sci-libs/opencascade

Development platform for CAD/CAE, 3D surface/solid modeling and data exchange

sci-libs/orocos-bfl

Bayesian Filtering Library

sci-libs/p4est

Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees

sci-libs/parmetis

Parallel (MPI) unstructured graph partitioning library

sci-libs/pastix

Parallel solver for very large sparse linear systems

sci-libs/pcl

2D/3D image and point cloud processing

sci-libs/pdal

C++ library for translating and manipulating point cloud data

sci-libs/proj

PROJ coordinate transformation software

sci-libs/pyshp

Pure Python read/write support for ESRI Shapefile format

sci-libs/rocFFT

Next generation FFT implementation for ROCm

sci-libs/rocPRIM

HIP parallel primitives for developing performant GPU-accelerated code on ROCm

sci-libs/rocRAND

Generate pseudo-random and quasi-random numbers

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

HIP back-end for the parallel algorithm library Thrust

sci-libs/rocWMMA

library for accelerating mixed precision matrix multiply-accumulate operations

sci-libs/rpp

AMD ROCm Performance Primitives (RPP) high-performance computer vision library

sci-libs/rtabmap

Real-Time Appearance-Based Mapping (RGB-D Graph SLAM)

sci-libs/scalapack

Subset of LAPACK routines redesigned for heterogenous (MPI) computing

sci-libs/spglib

Spglib is a C library for finding and handling crystal symmetries

sci-libs/stellarsolver

Cross-platform Sextractor and Astrometry.net-Based internal astrometric solver

sci-libs/sundials

Suite of nonlinear solvers

sci-libs/symengine

Fast symbolic manipulation library, written in C++

sci-libs/trilinos

Scientific library collection for large scale problems

sci-libs/volk

vector optimized library of kernels

sci-libs/voro++

3D Voronoi cell software library

sci-libs/vtk

The Visualization Toolkit

sci-libs/xdmf2

eXtensible Data Model and Format

sci-mathematics/octave-epstk

Graphical output functions for Matlab and Octave

sci-mathematics/gp2c

A GP to C translator

sci-mathematics/verit

An open, trustable and efficient SMT-prover

sci-mathematics/cudd

Colorado University binary Decision Diagram library

sci-mathematics/metamath-databases

Sample databases for Metamath

sci-mathematics/num-utils

A set of programs for dealing with numbers from the command line

sci-mathematics/cliquer

C routines for finding cliques in an arbitrary weighted graph

sci-mathematics/planarity

The edge addition planarity suite of graph algorithms

sci-mathematics/coq-mathcomp

Mathematical Components for the Coq proof assistant

sci-mathematics/functions-matlab-colormaps

Additional colormaps for octave by Ultralytics

sci-mathematics/gap

System for computational discrete algebra. Core functionality

sci-mathematics/lrcalc

Littlewood-Richardson Calculator

sci-mathematics/gmm

Generic C++ template library for sparse, dense and skyline matrices

sci-mathematics/pari-data

Additional dataset packages for PARI