Tool for Rigorous Estimation of Round-Off Floating-Point Errors
☆33Sep 1, 2024Updated last year
Alternatives and similar repositories for FPTaylor
Users that are interested in FPTaylor are comparing it to the libraries listed below
Sorting:
- ☆52Jul 3, 2025Updated 8 months ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 7 months ago
- A standard for floating point accuracy benchmarks☆58Jan 16, 2026Updated last month
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 5 years ago
- Rosa, the real compiler☆21Jan 31, 2018Updated 8 years ago
- Error-free transformations are used to get results with extra accuracy.☆15Jan 20, 2025Updated last year
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆14Dec 13, 2023Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Jul 8, 2017Updated 8 years ago
- ☆18Jul 12, 2023Updated 2 years ago
- Exact real arithmetic in C++☆49Oct 1, 2020Updated 5 years ago
- Code generation tool to generate mathematical libraries☆58Oct 15, 2025Updated 4 months ago
- ☆21Nov 10, 2019Updated 6 years ago
- ☆27Sep 27, 2024Updated last year
- TriCera: a model checker for C programs☆26Updated this week
- Library for rigorous verification of non-linear arithmetic☆115May 29, 2024Updated last year
- Quickcheck Clone implemented in Racket☆31Jul 30, 2024Updated last year
- An automatic testing tool for Java software☆25May 21, 2018Updated 7 years ago
- A Fast Floating-Point Satisfiability Solver☆28Jul 26, 2025Updated 7 months ago
- Matrix Template Library☆31Mar 5, 2021Updated 4 years ago
- MusicXML in Julia☆14Sep 3, 2024Updated last year
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆40Jan 11, 2026Updated last month
- A tool for debugging and assessing floating point precision and reproducibility.☆93Feb 23, 2026Updated last week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Nov 16, 2025Updated 3 months ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 3 months ago
- Remez algorithm for computing minimax polynomial approximations☆45Aug 10, 2020Updated 5 years ago
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 3 months ago
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 11 years ago
- Unified interface for interacting with Git forges☆13Updated this week
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- Optimize floating-point expressions for accuracy☆845Updated this week
- Automated Reasoning in Nonlinear Theories of Reals☆179Feb 21, 2026Updated last week
- Example game written in julia using SDL2☆44Apr 19, 2020Updated 5 years ago
- ☆12Apr 22, 2020Updated 5 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 4 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Performant implementations of statistical distributions in pure Swift☆16Updated this week
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- A curated list of CPU Schedulers for linux☆13Mar 7, 2022Updated 3 years ago