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
  ☆761Updated last year
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,551Updated 9 months ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,205Updated 6 months ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆732Updated this week
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆655Updated 8 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆93Updated 2 years ago
• keiichiw / constexpr-8cc
  Compile-time C Compiler implemented as C++14 constant expressions
  ☆804Updated 3 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,229Updated 8 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,940Updated 3 weeks ago
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,534Updated 5 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated last week
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆704Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated this week
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,563Updated 9 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆930Updated last week
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆290Updated 9 months ago
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,468Updated this week
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆145Updated 3 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆342Updated 6 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆599Updated 9 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆616Updated 4 years ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆867Updated last week
• jeaye / value-category-cheatsheet
  A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more
  ☆405Updated last year
• inspector-repl / inspector
  A drop-anywhere C++ REPL
  ☆838Updated last year
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,003Updated this week
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,064Updated last year