Alternatives and similar repositories for heartbeat

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

• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 10 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆68Updated last week
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated 2 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated last week
• sillycross / PochiVM
  Lightweight framework for easy and efficient code generation
  ☆100Updated 9 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• martinjonas / Q3B
  ☆28Updated 2 months ago
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆44Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 11 months ago
• opencompl / mlir-fuzz
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆19Updated last week
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 2 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 5 years ago
• harp-lab / gdlog
  ☆82Updated 7 months ago
• IanBriggs / megalibm
  ☆17Updated last year
• Mogball / declarative-mlir-compiler
  Declarative MLIR compilers in Python!
  ☆35Updated 4 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 6 months ago
• phate / jlm
  ☆63Updated this week
• riswords / quiche
  ☆22Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆171Updated 2 months ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆50Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• ChezJrk / verified-scheduling
  ☆40Updated last year
• cucapra / diospyros
  Search-based compiler for high-performance DSP programming
  ☆65Updated 7 months ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆69Updated this week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆173Updated 2 weeks ago