herbie-fp / herbieView external linksLinks
Optimize floating-point expressions for accuracy
☆840Updated this week
Alternatives and similar repositories for herbie
Users that are interested in herbie are comparing it to the libraries listed below
Sorting:
- Interval arithmetic for real computation☆25Updated this week
- egg is a flexible, high-performance e-graph library☆1,670Dec 4, 2025Updated 2 months ago
- A platform for exploring floating-point expressions☆24Sep 10, 2025Updated 5 months ago
- Rewrite Rule Inference Using Equality Saturation☆151Jun 6, 2025Updated 8 months ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆683Nov 21, 2025Updated 2 months ago
- A standard for floating point accuracy benchmarks☆58Jan 16, 2026Updated 3 weeks ago
- GHC plugin that improves Haskell code's numerical stability☆194Oct 6, 2015Updated 10 years ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- egraphs + datalog!☆681Updated this week
- Draw lightsabers using Racket's pict library☆11Jul 31, 2019Updated 6 years ago
- CakeML: A Verified Implementation of ML☆1,113Updated this week
- ☆329Feb 8, 2016Updated 10 years ago
- Analysis of Racket code base☆14Aug 27, 2020Updated 5 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Jun 21, 2022Updated 3 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆282Feb 24, 2025Updated 11 months ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Dec 5, 2020Updated 5 years ago
- A data-parallel functional programming language☆2,669Updated this week
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆24May 1, 2016Updated 9 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆107May 19, 2022Updated 3 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,488Updated this week
- Dependently-typed language with Iverson-style implicit lifting☆126Mar 24, 2020Updated 5 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Sep 1, 2025Updated 5 months ago
- Wrangling Untrusted File Formats Safely☆4,703Nov 24, 2025Updated 2 months ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆33Sep 1, 2024Updated last year
- Lean Theorem Prover☆2,156Oct 14, 2023Updated 2 years ago
- syn·di·cate: a language for interactive programs☆159Dec 18, 2025Updated last month
- ☆22Feb 22, 2020Updated 5 years ago
- Rosa, the real compiler☆21Jan 31, 2018Updated 8 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 4 months ago
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆393Dec 29, 2025Updated last month
- Dafny is a verification-aware programming language☆3,289Dec 12, 2025Updated 2 months ago
- A programming language with static memory management based on λ-calculus☆1,008Jan 28, 2026Updated 2 weeks ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- A CSS specification and reasoning engine☆101Feb 15, 2023Updated 2 years ago
- The Z3 Theorem Prover☆11,900Updated this week
- WIP implementation of a Haskell-like Lisp in Racket☆1,195Apr 14, 2024Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆2,905Updated this week
- The CompCert formally-verified C compiler☆2,106Feb 2, 2026Updated last week