arpra-project / arpra
Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
☆23Updated 2 years ago
Alternatives and similar repositories for arpra:
Users that are interested in arpra are comparing it to the libraries listed below
- Recursive LAPACK Collection☆42Updated 3 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 3 years ago
- A mirror of the CRLibm project from INRIA Forge☆46Updated 4 years ago
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆14Updated 5 months ago
- Code generation tool to generate mathematical libraries☆55Updated last week
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆16Updated 12 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- MLIR tools and dialect for GraphBLAS☆18Updated 2 years ago
- C++ Header-Only Library for High-Performance Tensor-Vector Multiplication☆21Updated 3 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- C++ template library for floating point operations☆23Updated last week
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 5 months ago
- High-Performance Reproducible BLAS using posit arithmetic☆12Updated 3 years ago
- A hierarchical matrix C/C++ library☆23Updated last week
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- A posit arithmetic emulator.☆50Updated 8 months ago
- Drop-in replacement for IEEE Float☆41Updated 4 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 8 years ago
- ZFP Hardware Implementation☆13Updated 2 years ago
- Sigmoid Numbers for Julia☆87Updated 7 years ago
- ☆28Updated last week
- Multiprecision Polynomial Solver☆42Updated 2 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- A simple CAS written in C.☆10Updated 10 years ago
- associative floating point addition☆17Updated 10 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- knot theory and computational algebra software☆37Updated 10 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago