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
  ☆828Updated 2 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,612Updated last year
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆95Updated 3 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆770Updated last week
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• robinhouston / image-unshredding
  ☆610Updated 9 years ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆580Updated 4 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆297Updated last year
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆625Updated 4 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 3 years ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆736Updated last year
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆668Updated 2 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,302Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆305Updated last week
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆430Updated 9 years ago
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆127Updated 9 months ago
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆164Updated 9 months ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆340Updated 7 years ago
• damelang / nile
  ☆724Updated 5 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• leegao / float-hacks
  Floating Point Hacks
  ☆170Updated 8 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆661Updated 4 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 8 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆830Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆702Updated 6 months ago
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆72Updated 6 months ago
• jeaye / value-category-cheatsheet
  A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more
  ☆406Updated 2 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆818Updated 2 years ago