Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
☆26Jan 29, 2023Updated 3 years ago
Alternatives and similar repositories for FpDebug
Users that are interested in FpDebug are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Valgrind tool for Herbie☆97Oct 25, 2022Updated 4 years ago
- floating-point errors checker☆74Updated this week
- Error-Free Transformations as building blocks for compensated algorithms☆17Mar 21, 2023Updated 3 years ago
- Multiple Hilbert curve algorithms in two dimensions and N-dimensions in native Julia.☆24Jul 7, 2026Updated 4 months ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21May 2, 2026Updated 6 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.
- This repo contains the dataset for paper: Creating a Dataset Supporting Translation Between OpenMP Fortran and C++ Code☆14Dec 1, 2023Updated 2 years ago
- DataGenerators is a data generation package. It can use techniques for search and optimization to find effective data for uses such as te…☆13Jun 19, 2017Updated 9 years ago
- Testing for Julia, simplified.☆16Aug 2, 2020Updated 6 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆20Feb 8, 2020Updated 6 years ago
- ☆19Feb 25, 2026Updated 8 months ago
- Extensions to Julia's Base.Test☆43Jul 1, 2026Updated 4 months ago
- ExBLAS: fast, accurate, and reproducible BLAS☆17Sep 13, 2021Updated 5 years ago
- Aerie: a regex-like engine nested word grammars☆16Feb 5, 2022Updated 4 years ago
- Piecewise Deterministic Markov Processes in Julia☆21Jun 5, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A basic mocking module☆21Jan 23, 2022Updated 4 years ago
- A tool for debugging and assessing floating point precision and reproducibility.☆104Oct 15, 2026Updated 3 weeks ago
- Simple differential equation solvers in native Julia for scientific machine learning (SciML)☆24Oct 29, 2026Updated last week
- Cerver is a development framework, created by Ermiry, designed to provide you with the necessary tools for creating fast and reliable mul…☆21May 2, 2022Updated 4 years ago
- A DSL for Stencil Codes☆14Nov 27, 2024Updated last year
- ☆17Sep 27, 2022Updated 4 years ago
- 🌐 R package: Identify Global Objects in R Expressions☆29Updated this week
- Formally verified numerical integration of an ordinary differential equation☆13May 18, 2026Updated 5 months ago
- Code generation tool to generate mathematical libraries☆61Oct 15, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A single-header C command line parsing library☆15Jun 13, 2018Updated 8 years ago
- AnyDSL traversal code☆16Feb 18, 2019Updated 7 years ago
- (A)ugmented (L)agrangian based solvers for the Navier Stokes equation in (Fi)redrake☆14Oct 13, 2024Updated 2 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Mar 7, 2019Updated 7 years ago
- Colored Abstract Simplicial Complex Library☆15Oct 9, 2021Updated 5 years ago
- Allows Julia function calls to be temporarily overloaded for the purpose of testing☆65Nov 25, 2025Updated 11 months ago
- GEMM☆10Aug 26, 2023Updated 3 years ago
- Easily batch-build cmake projects!☆18Jan 16, 2026Updated 9 months ago
- ☆14Apr 5, 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.
- parser combinator and AST generator in c++17☆24Feb 16, 2023Updated 3 years ago
- A pratical book for how to program using flowbased- programming☆14Aug 12, 2015Updated 11 years ago
- Implementation of an erlang style actor model using libdispatch☆17Feb 24, 2014Updated 12 years ago
- Color Magit-blame headers by age☆11Jun 4, 2026Updated 5 months ago
- Awesome TangoMan Makefile Generator is a fast and handy tool to generate self documenting makefiles and provides neat makefiles templates…☆14Feb 3, 2025Updated last year
- Julia library providing tracking of floating point errors through a program resources☆38Dec 27, 2024Updated last year
- Arch-based container for 42 projects☆11Mar 12, 2018Updated 8 years ago