herbie-fp / herbieLinks
Optimize floating-point expressions for accuracy
☆805Updated 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☆775Updated last year
- ☆330Updated 9 years ago
- High-performance, Reliable, and Parallel APL☆745Updated last week
- A superoptimizer for LLVM IR☆2,238Updated 9 months ago
- Automated integer hash function discovery☆712Updated last year
- C-Reduce, a C and C++ program reducer☆1,589Updated last year
- A data-parallel functional programming language☆2,529Updated this week
- Beyond Floating Point - Posit C/C++ implementation☆294Updated last year
- egg is a flexible, high-performance e-graph library☆1,503Updated this week
- A fast alternative to the modulo reduction☆308Updated 4 years ago
- Converts floating point numbers to decimal strings☆1,251Updated 11 months ago
- Official git repository for libdivide: optimized integer division☆1,207Updated 2 weeks ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆621Updated 4 years ago
- Stabilizer: Rigorous Performance Evaluation☆572Updated 3 years ago
- Haskell Research Compiler☆820Updated 2 years ago
- Enoki: structured vectorization and differentiation on modern processor architectures☆1,283Updated 3 months ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆661Updated 2 weeks ago
- Proving leftpad correct two-dozen different ways☆674Updated last month
- The collection synthesizer☆211Updated 4 years ago
- Functional language with intensional polymorphism and first-class staging.☆935Updated last week
- A tiny 1000 line LLVM-based numeric specializer for scientific Python code.☆409Updated 3 years ago
- SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT☆726Updated last month
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,605Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,580Updated 9 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆642Updated 3 weeks ago
- Intel® Implicit SPMD Program Compiler☆2,676Updated this week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- Missed optimizations in C compilers☆341Updated 7 years ago