herbie-fp / herbieLinks
Optimize floating-point expressions for accuracy
☆808Updated this week
Alternatives and similar repositories for herbie
Users that are interested in herbie are comparing it to the libraries listed below
Sorting:
- A superoptimizer for LLVM IR☆2,249Updated 9 months ago
- C-Reduce, a C and C++ program reducer☆1,590Updated last year
- High-performance, Reliable, and Parallel APL☆750Updated 3 weeks ago
- STOKE: A stochastic superoptimizer and program synthesizer☆782Updated last year
- ☆330Updated 9 years ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆381Updated 3 months ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Functional language with intensional polymorphism and first-class staging.☆935Updated 2 weeks ago
- Csmith, a random generator of C programs☆1,092Updated last year
- Automatic verification of LLVM optimizations☆918Updated this week
- Automated integer hash function discovery☆713Updated last year
- Functional programming style pattern-matching library for C++☆1,297Updated 3 years ago
- Implementations of various type systems in OCaml.☆1,580Updated 9 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- The CompCert formally-verified C compiler☆1,995Updated last week
- egg is a flexible, high-performance e-graph library☆1,512Updated 3 weeks ago
- Algebraic data types for C99☆1,418Updated 3 months ago
- A data-parallel functional programming language☆2,535Updated this week
- Named operators for C++☆503Updated 4 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆661Updated last week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆656Updated last week
- Haskell Research Compiler☆819Updated 2 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆305Updated last year
- Official git repository for libdivide: optimized integer division☆1,215Updated last week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆455Updated last week
- Proving leftpad correct two-dozen different ways☆677Updated 2 months ago
- Beyond Floating Point - Posit C/C++ implementation☆294Updated last year
- Compile-time C Compiler implemented as C++14 constant expressions☆805Updated 4 years ago
- A minimalistic and high-performance SAT solver☆145Updated 3 years ago
- You might not need your garbage collector☆543Updated 5 years ago