herbie-fp / herbieLinks
Optimize floating-point expressions for accuracy
☆826Updated 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☆828Updated 2 years ago
- ☆329Updated 9 years ago
- C-Reduce, a C and C++ program reducer☆1,612Updated last year
- A Valgrind tool for Herbie☆95Updated 3 years ago
- High-performance, Reliable, and Parallel APL☆770Updated last week
- The collection synthesizer☆211Updated 4 years ago
- ☆610Updated 9 years ago
- Stabilizer: Rigorous Performance Evaluation☆580Updated 4 years ago
- ☆343Updated 7 years ago
- Beyond Floating Point - Posit C/C++ implementation☆297Updated last year
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆625Updated 4 years ago
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago
- Automated integer hash function discovery☆736Updated last year
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆668Updated 2 months ago
- A superoptimizer for LLVM IR☆2,302Updated last year
- My personal repository of formally verified mathematics.☆305Updated last week
- Dead Simple OpenCL☆430Updated 9 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆127Updated 9 months ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆164Updated 9 months ago
- Missed optimizations in C compilers☆340Updated 7 years ago
- ☆724Updated 5 years ago
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- Floating Point Hacks☆170Updated 8 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆661Updated 4 months ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Updated 8 months ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆830Updated last year
- Proving leftpad correct two-dozen different ways☆702Updated 6 months ago
- An evolutionary approach to find small and low latency sorting networks☆72Updated 6 months ago
- A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more☆406Updated 2 years ago
- Haskell Research Compiler☆818Updated 2 years ago