Rigorous Floating-Point Mixed-Precision Tuner
☆17May 21, 2020Updated 5 years ago
Alternatives and similar repositories for FPTuner
Users that are interested in FPTuner are comparing it to the libraries listed below
Sorting:
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆37Sep 9, 2016Updated 9 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 7 months ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 3 years ago
- R package providing Asio C++ library header files☆14Nov 26, 2025Updated 3 months ago
- ☆52Jul 3, 2025Updated 7 months ago
- A tool for debugging and assessing floating point precision and reproducibility.☆93Feb 23, 2026Updated last week
- TensorRight: Automated Verification of Tensor Graph Rewrites☆18Nov 9, 2025Updated 3 months ago
- Identifying the compiler family, version and compiler flags that generated a binary☆19Dec 19, 2019Updated 6 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆33Sep 1, 2024Updated last year
- Presentation materials for the 2016 Berkeley C++ Summit☆14Oct 20, 2016Updated 9 years ago
- PyCon 2015 - Wiki & Tasks☆26Jun 3, 2015Updated 10 years ago
- ☆18May 1, 2020Updated 5 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Oct 27, 2023Updated 2 years ago
- ASIO Cooperative Task for await-based coroutine☆16Sep 8, 2018Updated 7 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 years ago
- A C library for tracking metrics☆17Jul 28, 2022Updated 3 years ago
- A C++ template library for FPGAs on top of Xilinx Vivado HLS☆14Feb 2, 2017Updated 9 years ago
- An executable specification of the RISCV ISA in L3.☆42Mar 1, 2019Updated 7 years ago
- A platform for exploring floating-point expressions☆24Sep 10, 2025Updated 5 months ago
- C++ standard proposals☆16Jan 30, 2026Updated last month
- A survey on architectural simulators focused on CPU caches.☆16Feb 8, 2020Updated 6 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- ☆27Feb 9, 2023Updated 3 years ago
- ☆21May 8, 2015Updated 10 years ago
- A benchmark for standard libraries☆21Sep 23, 2023Updated 2 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- Efficient Path Profiling using LLVM☆18Oct 25, 2017Updated 8 years ago
- ☆21May 27, 2024Updated last year
- C++ remote library☆26Jul 9, 2015Updated 10 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Feb 24, 2023Updated 3 years ago
- GNU Superoptimizer Version 2☆26May 19, 2021Updated 4 years ago