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
  ☆832Updated 2 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,617Updated last year
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆771Updated 2 weeks ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆737Updated last year
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆97Updated 3 years ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆583Updated 4 years ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,302Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆146Updated 4 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆298Updated last year
• robinhouston / image-unshredding
  ☆610Updated 9 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• SaschaWitt / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆164Updated 10 months ago
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆129Updated 10 months ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,289Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated last week
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆686Updated 2 years ago
• wolftype / versor
  Versor Geometric Algebra Library
  ☆312Updated last week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆705Updated 6 months ago
• klmr / named-operator
  Named operators for C++
  ☆507Updated 5 years ago
• elemental / Elemental
  Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction
  ☆513Updated 6 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆674Updated 3 months ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆340Updated 7 years ago
• antonmks / nvParse
  Fast, gpu-based CSV parser
  ☆562Updated 8 years ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,251Updated 5 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆202Updated 3 years ago
• damelang / nile
  ☆725Updated 5 years ago
• bertdobbelaere / SorterHunter
  An evolutionary approach to find small and low latency sorting networks
  ☆72Updated last week