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
  ☆775Updated last year
• StanfordPL / stoke-release
  ☆330Updated 9 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆745Updated last week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,238Updated 9 months ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆712Updated last year
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,589Updated last year
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,529Updated this week
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆294Updated last year
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,503Updated this week
• lemire / fastrange
  A fast alternative to the modulo reduction
  ☆308Updated 4 years ago
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,251Updated 11 months ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,207Updated 2 weeks ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆621Updated 4 years ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆572Updated 3 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆820Updated 2 years ago
• mitsuba-renderer / enoki
  Enoki: structured vectorization and differentiation on modern processor architectures
  ☆1,283Updated 3 months ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆608Updated last year
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆661Updated 2 weeks ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆674Updated last month
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆935Updated last week
• sdiehl / numpile
  A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
  ☆409Updated 3 years ago
• shibatch / sleef
  SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
  ☆726Updated last month
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,605Updated 2 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,580Updated 9 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆642Updated 3 weeks ago
• ispc / ispc
  Intel® Implicit SPMD Program Compiler
  ☆2,676Updated this week
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆341Updated 7 years ago