floating-point errors checker
☆67Mar 2, 2026Updated this week
Alternatives and similar repositories for verrou
Users that are interested in verrou are comparing it to the libraries listed below
Sorting:
- Error-Free Transformations as building blocks for compensated algorithms☆16Mar 21, 2023Updated 2 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆40Jan 11, 2026Updated last month
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Nov 14, 2024Updated last year
- Stochastic Arithmetic to diagnose Floating-Point problems in Julia☆18May 24, 2019Updated 6 years ago
- A tool for debugging and assessing floating point precision and reproducibility.☆93Feb 23, 2026Updated last week
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A comprehensive and architecture-agnostic performance analysis tool.☆11Feb 26, 2026Updated last week
- A single-header C command line parsing library☆15Jun 13, 2018Updated 7 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/eqntott☆15Sep 23, 2015Updated 10 years ago
- A standard for floating point accuracy benchmarks☆58Jan 16, 2026Updated last month
- LD_PRELOAD-able library which runs all spawned processes under Valgrind.☆15Jul 1, 2022Updated 3 years ago
- Place small arrays on the stack with a low-cost!☆17Oct 26, 2024Updated last year
- Evaluate the numerical accuracy of an application (mirror of the Gitlab main repo).☆14Dec 13, 2023Updated 2 years ago
- hmemory is a lightweight memory error detector for c/c++ programs, specifically designed for embedded systems.☆17Oct 8, 2022Updated 3 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
- Julia library providing tracking of floating point errors through a program resources☆38Dec 27, 2024Updated last year
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Apr 6, 2022Updated 3 years ago
- A C peg parser generator (a fork of peg/leg)☆27Aug 9, 2022Updated 3 years ago
- A C vector library similar to the C++ STL vector☆21Apr 20, 2025Updated 10 months ago
- Up or down? Maybe both?☆45Apr 16, 2025Updated 10 months ago
- Parallel algorithms and data structures for hybrid AMR☆17Feb 20, 2024Updated 2 years ago
- A small tool for quickly generating LLVM passes☆29Sep 22, 2025Updated 5 months ago
- Multi-threaded 32-bit embedded core family.☆24Jul 9, 2012Updated 13 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 5 years ago
- Pre-defined constants from all disciplines (math, physics, ...) as a Rust library☆22Oct 11, 2022Updated 3 years ago
- LGPL'd VGABIOS project☆29Dec 30, 2025Updated 2 months ago
- Code generation tool to generate mathematical libraries☆58Oct 15, 2025Updated 4 months ago
- Mermaid.js diagram intergration for Documenter.jl☆31Nov 25, 2025Updated 3 months ago
- SUPA☆28Jan 15, 2026Updated last month
- (More or less) accurate floating point algorithms☆57Jul 20, 2024Updated last year
- Run a parallel command inside a split tmux window☆155Feb 22, 2022Updated 4 years ago
- This aims to be an wrapper to C-MPI3 for C++, using the principles of simplicity, STL, RAII and Boost and enforcing type-safety. This i…☆23Oct 11, 2024Updated last year
- Tree-sitter package for the Zig programming language☆29May 24, 2024Updated last year
- NAS Parallel Benchmark Kernels in C/C++. The parallel versions are in FastFlow, TBB, and OpenMP.☆22Jul 29, 2021Updated 4 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- A WIP aarch64 emulator (and at some point dynarec) written in C++20.☆31Jun 4, 2022Updated 3 years ago