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 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 4 months ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆16Updated 12 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- A mirror of the CRLibm project from INRIA Forge☆43Updated 4 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 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 library for working with the posit number type.☆14Updated 4 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆28Updated 6 years ago
- A C implementation of the Tsetlin Machine☆14Updated 6 years ago
- Code generation tool to generate mathematical libraries☆55Updated 10 months ago
- A C++ library that speaks Mathematica. Mathematica++☆13Updated 3 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- Sigmoid Numbers for Julia☆86Updated 6 years ago
- Miscellaneous files relating to Vector class library☆9Updated 2 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- Drop-in replacement for IEEE Float☆40Updated 4 years ago
- arbitrary precision arithmetic library☆42Updated 6 years ago
- A simple CAS written in C.☆10Updated 9 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆23Updated 4 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- ZFP Hardware Implementation☆13Updated 2 years ago
- GPU Automatically Tuned Linear Algebra Software☆28Updated 9 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- A GPU-based LZSS compression algorithm, highly tuned for NVIDIA GPGPUs and for streaming data, leveraging the respective strengths of CPU…☆36Updated 9 years ago