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,571Updated 11 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,223Updated 8 months ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆770Updated last year
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆711Updated last year
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,485Updated 2 months ago
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆93Updated 2 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆742Updated last week
• egraphs-good / egglog
  egraphs + datalog!
  ☆526Updated this week
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆659Updated last week
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆605Updated 11 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆637Updated this week
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆572Updated 3 years ago
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆678Updated 2 years ago
• souffle-lang / souffle
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆979Updated this week
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆896Updated last week
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆162Updated 3 months ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,811Updated 10 months ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆547Updated last week
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆376Updated last month
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆292Updated 11 months ago
• robinhouston / image-unshredding
  ☆609Updated 8 years ago
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆717Updated this week
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆317Updated 3 years ago
• aclements / latexrun
  A 21st century LaTeX wrapper
  ☆629Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• klmr / named-operator
  Named operators for C++
  ☆500Updated 4 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆671Updated 2 weeks ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,187Updated last month
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago