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
  ☆825Updated 2 years ago
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,612Updated last year
• StanfordPL / stoke-release
  ☆329Updated 9 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆768Updated last week
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆94Updated 2 years ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆733Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆694Updated 5 months ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆297Updated last year
• robinhouston / image-unshredding
  ☆611Updated 8 years ago
• ispc / ispc
  Intel® Implicit SPMD Program Compiler
  ☆2,754Updated last week
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,572Updated last week
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆668Updated last month
• Polytonic / Chlorine
  Dead Simple OpenCL
  ☆430Updated 9 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• silentbicycle / theft
  property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
  ☆625Updated 4 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆657Updated 3 months ago
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,284Updated last year
• StanfordLegion / legion
  The Legion Parallel Programming System
  ☆743Updated 3 months ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆293Updated this week
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 7 months ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,246Updated 3 months ago
• simit-lang / simit
  A language for computing on sparse systems
  ☆457Updated 6 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆607Updated 3 months ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated last month
• egraphs-good / egglog
  egraphs + datalog!
  ☆624Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,591Updated this week
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆940Updated this week
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,049Updated last year