floating-point errors checker
☆73Jul 16, 2026Updated this week
Alternatives and similar repositories for verrou
Users that are interested in verrou are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Error-Free Transformations as building blocks for compensated algorithms☆17Mar 21, 2023Updated 3 years ago
- A tool for debugging and assessing floating point precision and reproducibility.☆98Jul 1, 2026Updated 2 weeks 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
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- Error-free transformations are used to get results with extra accuracy.☆15May 27, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆21Nov 10, 2019Updated 6 years ago
- Solvers for the Eikonal equation☆36Nov 29, 2024Updated last year
- Code generation tool to generate mathematical libraries☆61Oct 15, 2025Updated 9 months ago
- Up or down? Maybe both?☆48Apr 16, 2025Updated last year
- Interactive Visualization of Memory Access Samples☆23Sep 10, 2022Updated 3 years ago
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆14Apr 23, 2026Updated 2 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 4 years ago
- A comprehensive and architecture-agnostic performance analysis tool.☆12Jul 1, 2026Updated 2 weeks ago
- Various documents describing TFEL and MFront usage, such as the various talks of the MFront User Days☆12Dec 9, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Caliper is an instrumentation and performance profiling library☆416Jul 10, 2026Updated last week
- Show effects of over-subscription and ways to fix that☆16Aug 15, 2024Updated last year
- A version of the STREAM benchmark which measures the sustainable memory bandwidth.☆29Dec 15, 2025Updated 7 months ago
- LD_PRELOAD-able library which runs all spawned processes under Valgrind.☆16Jul 1, 2022Updated 4 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Place small arrays on the stack with a low-cost!☆17Oct 26, 2024Updated last year
- (More or less) accurate floating point algorithms☆56Jul 20, 2024Updated 2 years ago
- This project shows how to create a compilation project for MFront properties, behaviours and models☆24Apr 29, 2026Updated 2 months ago
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆21Feb 3, 2023Updated 3 years 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.
- ☆34Updated this week
- NUMAPROF is a NUMA memory profliler based on Pintool to track your remote memory accesses.☆54Jun 30, 2026Updated 2 weeks ago
- A single-header C command line parsing library☆15Jun 13, 2018Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆34Sep 1, 2024Updated last year
- A small tool for quickly generating LLVM passes☆29Sep 22, 2025Updated 9 months ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 10 months 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
- CLang Plugin for calculating AST hashes☆16Feb 11, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automatically exported from code.google.com/p/eqntott☆15Sep 23, 2015Updated 10 years ago
- The Kokkos Fortran Interop repository contains tools and interfaces which help interactions between Fortran portions of an applications a…☆46Mar 12, 2026Updated 4 months ago
- Message Differentiation Package☆13Feb 5, 2026Updated 5 months ago
- ExBLAS: fast, accurate, and reproducible BLAS☆17Sep 13, 2021Updated 4 years ago
- A graphics tracing and replay framework to explore system-level effects on heterogeneous CPU+GPU memory systems.☆15Apr 16, 2018Updated 8 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 11 months ago
- Naïve implementations of some Krylov subspace methods without preconditioning☆22Feb 27, 2019Updated 7 years ago