arpra-project / arpraLinks
Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
☆25Updated 2 years ago
Alternatives and similar repositories for arpra
Users that are interested in arpra are comparing it to the libraries listed below
Sorting:
- Recursive LAPACK Collection☆42Updated 3 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A hierarchical matrix C/C++ library☆23Updated last month
- 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 2 months ago
- the vernerable fortran to c compiler, mirror of netlib packed in repo, w/ debian packaging scripts☆21Updated 11 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- C++ template library for floating point operations☆27Updated last month
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆69Updated 3 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- Multiprecision Polynomial Solver☆42Updated 2 months ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- knot theory and computational algebra software☆37Updated 10 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 weeks ago
- Sparse symmetric indefinite solver implemented with a runtime system☆13Updated 5 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆24Updated 5 years ago
- A mirror of the CRLibm project from INRIA Forge☆47Updated 4 years ago
- Mirror of the official xournal repository☆25Updated 2 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆28Updated 7 months ago
- Universal Number Library☆41Updated 7 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- floating-point errors checker☆57Updated this week
- mirror of Fabrice Bellard's libbf tar releases☆13Updated 2 years ago
- A posit arithmetic emulator.☆53Updated 11 months ago