Alternatives and similar repositories for heartbeat:

Users that are interested in heartbeat are comparing it to the libraries listed below

• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆28Updated 11 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 4 months ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆47Updated last week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 5 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆28Updated last month
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆100Updated 5 months ago
• harp-lab / gdlog
  ☆79Updated 3 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 2 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆91Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆118Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆161Updated last month
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 6 months ago
• mc-imperial / dredd
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Updated this week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆55Updated this week
• IanBriggs / megalibm
  ☆16Updated last year
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆178Updated last week
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 11 months ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• AnyDSL / impala
  An imperative and functional programming language
  ☆153Updated 3 weeks ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆59Updated this week
• tchajed / futex-tutorial
  ☆9Updated 5 months ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• phate / jlm
  ☆58Updated this week