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
  ☆839Updated 2 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,633Updated last year
• google / souper
  A superoptimizer for LLVM IR
  ☆2,308Updated last year
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆742Updated last year
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆582Updated 4 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆97Updated 3 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆776Updated last week
• adamyedidia / parsimony
  ☆346Updated 7 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆299Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• robinhouston / image-unshredding
  ☆610Updated 9 years ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,275Updated last week
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,299Updated last year
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆680Updated last month
• keiichiw / constexpr-8cc
  Compile-time C Compiler implemented as C++14 constant expressions
  ☆806Updated 4 years ago
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆690Updated 2 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated last week
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆130Updated 11 months ago
• inspector-repl / inspector
  A drop-anywhere C++ REPL
  ☆847Updated 4 months ago
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆164Updated 11 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,090Updated 2 weeks ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆942Updated last month
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆285Updated this week
• wolftype / versor
  Versor Geometric Algebra Library
  ☆312Updated last month
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆340Updated 7 years ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,838Updated 3 weeks ago
• leegao / float-hacks
  Floating Point Hacks
  ☆170Updated 8 years ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆431Updated 9 years ago