herbie-fp / herbie

Related projects ⓘ

Alternatives and complementary repositories for herbie

• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,307Updated 5 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,169Updated 2 months ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆748Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆714Updated this week
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆90Updated 2 years ago
• StanfordPL / stoke-release
  ☆329Updated 8 years ago
• libcg / bfp
  Beyond Floating Point - Posit C/C++ implementation
  ☆289Updated 5 months ago
• keiichiw / constexpr-8cc
  Compile-time C Compiler implemented as C++14 constant expressions
  ☆802Updated 3 years ago
• skeeto / hash-prospector
  Automated integer hash function discovery
  ☆688Updated 8 months ago
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆561Updated 3 years ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,756Updated 4 months ago
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆1,889Updated this week
• gergo- / missed-optimizations
  Missed optimizations in C compilers
  ☆342Updated 6 years ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆746Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆209Updated 4 years ago
• egraphs-good / egg
  egg is a flexible, high-performance e-graph library
  ☆1,389Updated 2 months ago
• ridiculousfish / libdivide
  Official git repository for libdivide: optimized integer division
  ☆1,106Updated 2 weeks ago
• klmr / named-operator
  Named operators for C++
  ☆496Updated 4 years ago
• stillwater-sc / universal
  Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine…
  ☆410Updated this week
• lemire / fastrange
  A fast alternative to the modulo reduction
  ☆299Updated 3 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,540Updated 9 years ago
• inspector-repl / inspector
  A drop-anywhere C++ REPL
  ☆838Updated last year
• jeaye / value-category-cheatsheet
  A C++14 cheat-sheet on lvalues, rvalues, xvalues, and more
  ☆405Updated last year
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,600Updated 2 years ago
• orlp / polymur-hash
  The PolymurHash universal hash function.
  ☆339Updated last year
• ispc / ispc
  Intel® Implicit SPMD Program Compiler
  ☆2,520Updated this week
• IntelLabs / flrc
  Haskell Research Compiler
  ☆818Updated 2 years ago
• piotte13 / SIMD-Visualiser
  A tool to graphically visualize SIMD code
  ☆664Updated last year
• master-keying / minisat
  A minimalistic and high-performance SAT solver
  ☆143Updated 3 years ago