A Valgrind tool for Herbie
☆97Oct 25, 2022Updated 3 years ago
Alternatives and similar repositories for herbgrind
Users that are interested in herbgrind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- A standard for floating point accuracy benchmarks☆63Updated this week
- Optimize floating-point expressions for accuracy☆886Updated this week
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆43Aug 20, 2026Updated last week
- Code generation tool to generate mathematical libraries☆62Oct 15, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- floating-point errors checker☆72Aug 20, 2026Updated last week
- ☆17Sep 27, 2022Updated 3 years ago
- 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…☆38Sep 9, 2016Updated 9 years ago
- ☆52Aug 18, 2026Updated last week
- SUPA☆28Jan 15, 2026Updated 7 months ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Rust 3d collision detection using glam☆15Jul 18, 2020Updated 6 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Interactive Visualization of Memory Access Samples☆23Sep 10, 2022Updated 3 years ago
- NUMAPROF is a NUMA memory profliler based on Pintool to track your remote memory accesses.☆55Jun 30, 2026Updated 2 months ago
- Scalable yet rigorous Floating-point Error Analysis☆10Jul 23, 2025Updated last year
- VirtualFluids Mirror☆21Jun 13, 2026Updated 2 months ago
- C++ template library for floating point operations☆38Aug 17, 2026Updated 2 weeks ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Mar 12, 2022Updated 4 years ago
- Thermodynamic stability calculation for mixed clathrate hydrates☆19Apr 9, 2018Updated 8 years ago
- ExBLAS: fast, accurate, and reproducible BLAS☆17Sep 13, 2021Updated 4 years ago
- Python wrapper around KINSOL (from the sundials library)☆10Aug 18, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GOTCHA is a library for wrapping function calls in shared libraries☆88Jul 29, 2026Updated last month
- PyCon 2020 Talk - Write Less and Test More with Data Regression Testing☆11Apr 22, 2020Updated 6 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 6 years ago
- DARPA Cyber Grand Challenge OS syscall library☆19Feb 1, 2017Updated 9 years ago
- ☆61Updated this week
- GNU Guile Scheme bindings for OCaml☆19Aug 5, 2022Updated 4 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Feb 22, 2018Updated 8 years ago
- Deriving via☆33Aug 6, 2018Updated 8 years ago
- Using FVM to solve navier stokes equations in the 2D lid driven cavity problem☆12Jan 21, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆15Jun 1, 2025Updated last year
- CLang Plugin for calculating AST hashes☆16Feb 11, 2019Updated 7 years ago
- Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine…☆500Updated this week
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- A library to build up lazily evaluated expressions of linear transforms for efficient scientific computing.☆25Mar 18, 2024Updated 2 years ago
- Modeling transport properties of fluids (viscosity, thermal conductivity, diffusion coefficients) based on entropy scaling and the Chapma…☆17Jul 4, 2026Updated last month
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago