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
  ☆757Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆726Updated last month
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,539Updated 7 months ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆563Updated 3 years ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆929Updated last month
• google / souper
  A superoptimizer for LLVM IR
  ☆2,195Updated 5 months ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆614Updated 4 years ago
• StanfordPL / stoke-release
  ☆329Updated 8 years ago
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆677Updated last year
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,421Updated 3 weeks ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆662Updated 2 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆91Updated 2 years ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,927Updated last week
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,523Updated 4 months ago
• klmr / named-operator
  Named operators for C++
  ☆496Updated 4 years ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆698Updated 10 months ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆853Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,455Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆992Updated this week
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,557Updated 9 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆289Updated 8 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆817Updated 2 years ago
• morganstanley / hobbes
  A language and an embedded JIT compiler
  ☆1,174Updated last month
• wolftype / versor
  Versor Geometric Algebra Library
  ☆296Updated 2 months ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆366Updated 8 years ago
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,017Updated 6 months ago
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆430Updated 8 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 2 years ago
• stillwater-sc / universal
  Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine…
  ☆430Updated this week
• shibatch / sleef
  SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
  ☆690Updated this week