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
  ☆764Updated last year
• google / souper
  A superoptimizer for LLVM IR
  ☆2,212Updated 7 months ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,557Updated 10 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆93Updated 2 years ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,448Updated last month
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• EnzymeAD / Enzyme
  High-performance automatic differentiation of LLVM and MLIR.
  ☆1,363Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,493Updated this week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆629Updated 11 months ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆655Updated 9 months ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆736Updated last week
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆677Updated 2 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆291Updated 10 months ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆929Updated 3 weeks ago
• dafny-lang / dafny
  Dafny is a verification-aware programming language
  ☆3,031Updated this week
• 8051Enthusiast / regex2fat
  Turn your favourite regex into FAT32
  ☆1,008Updated 2 years ago
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆145Updated 3 years ago
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆118Updated 2 months ago
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆711Updated this week
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• egraphs-good / egglog
  egraphs + datalog!
  ☆510Updated last week
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,602Updated 2 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,954Updated last week
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆261Updated 3 weeks ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆430Updated 8 years ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆877Updated 2 weeks ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆707Updated last year
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆281Updated last month