Alternatives and similar repositories for herbie

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

• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,634Updated last year
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆842Updated 2 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆97Updated 3 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,314Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆779Updated this week
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,653Updated last month
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆301Updated last year
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆748Updated last year
• robinhouston / image-unshredding
  ☆610Updated 9 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆681Updated 2 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,099Updated last week
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆943Updated 2 months ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆633Updated last year
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated this week
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆132Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆713Updated 9 months ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆431Updated 9 years ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆417Updated last week
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆76Updated 2 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆832Updated last year
• ltcmelo / psychec
  A compiler frontend for the C programming language
  ☆560Updated 2 months ago
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆166Updated last year
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆340Updated 7 years ago
• arminbiere / kissat
  ☆599Updated 3 months ago
• morganstanley / hobbes
  A language and an embedded JIT compiler
  ☆1,190Updated 2 weeks ago