Alternatives and similar repositories for herbie

Users that are interested in herbie are comparing it to the libraries listed below

• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆785Updated last year
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,597Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆755Updated 2 weeks ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆575Updated 3 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆94Updated 2 years ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,262Updated 10 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆295Updated last year
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆720Updated last year
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆630Updated last year
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• robinhouston / image-unshredding
  ☆611Updated 8 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆244Updated 6 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆664Updated 3 weeks ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆145Updated 3 years ago
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆549Updated last month
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆302Updated this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆679Updated 2 months ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆622Updated 4 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• keiichiw / constexpr-8cc
  Compile-time C Compiler implemented as C++14 constant expressions
  ☆805Updated 4 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆936Updated last month
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆434Updated 2 years ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,525Updated last month
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆273Updated 4 months ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆680Updated 2 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆648Updated last month
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,267Updated last year