Alternatives and similar repositories for heartbeat

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

• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆49Updated last month
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 8 months ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 9 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆69Updated this week
• harp-lab / gdlog
  ☆81Updated 6 months ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆19Updated 3 months ago
• phate / jlm
  ☆63Updated this week
• pramalhe / CX
  A Wait-Free Universal Construct for Large Objects
  ☆96Updated 5 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 10 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• compiler-research / CppInterOp
  A Clang-based C++ Interoperability Library
  ☆67Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆37Updated last year
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆36Updated this week
• ips4o / ips4o
  In-place Parallel Super Scalar Samplesort (IPS⁴o)
  ☆119Updated 3 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• kovach / etch
  ☆17Updated 11 months ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆66Updated 2 weeks ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated last month
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆164Updated 3 weeks ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆78Updated 5 months ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆43Updated 3 weeks ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆101Updated 2 years ago
• maciejpirog / cpp-effects
  Effect handlers in C++
  ☆120Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆74Updated this week
• GraphBLAS / rgri
  Reference implementation of the draft C++ GraphBLAS specification.
  ☆32Updated 2 months ago