herbie-fp / herbieLinks
Optimize floating-point expressions for accuracy
☆820Updated this week
Alternatives and similar repositories for herbie
Users that are interested in herbie are comparing it to the libraries listed below
Sorting:
- STOKE: A stochastic superoptimizer and program synthesizer☆825Updated 2 years ago
- C-Reduce, a C and C++ program reducer☆1,612Updated last year
- ☆329Updated 9 years ago
- High-performance, Reliable, and Parallel APL☆768Updated last week
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Automated integer hash function discovery☆733Updated last year
- The collection synthesizer☆211Updated 4 years ago
- Proving leftpad correct two-dozen different ways☆694Updated 5 months ago
- Beyond Floating Point - Posit C/C++ implementation☆297Updated last year
- ☆611Updated 8 years ago
- Intel® Implicit SPMD Program Compiler☆2,754Updated last week
- egg is a flexible, high-performance e-graph library☆1,572Updated last week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆668Updated last month
- Dead Simple OpenCL☆430Updated 9 years ago
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆625Updated 4 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆657Updated 3 months ago
- Converts floating point numbers to decimal strings☆1,284Updated last year
- The Legion Parallel Programming System☆743Updated 3 months ago
- Super-parallel Python port of the C-Reduce☆293Updated this week
- ☆343Updated 7 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 7 months ago
- Official git repository for libdivide: optimized integer division☆1,246Updated 3 months ago
- A language for computing on sparse systems☆457Updated 6 years ago
- A framework for formally verifying distributed systems implementations in Coq☆607Updated 3 months ago
- My personal repository of formally verified mathematics.☆306Updated last month
- egraphs + datalog!☆624Updated this week
- A data-parallel functional programming language☆2,591Updated this week
- Functional language with intensional polymorphism and first-class staging.☆940Updated this week
- QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.☆1,049Updated last year