Alternatives and similar repositories for Pinch:

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

• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 8 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆60Updated this week
• rise-lang / mlir
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated 3 years ago
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆43Updated 2 weeks ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆32Updated this week
• llvm / vscode-mlir
  ☆57Updated 10 months ago
• NicolaLancellotti / metal-dialect
  MLIR metal dialect
  ☆25Updated 6 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated this week
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated this week
• phate / jlm
  ☆59Updated this week
• IanBriggs / megalibm
  ☆16Updated last year
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• opencompl / dyn-dialect
  A repository to test dialects defined dynamically.
  ☆12Updated last year
• ychen306 / vegen
  ☆28Updated 2 years ago
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated last week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆79Updated this week
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆56Updated last year
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 2 weeks ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆63Updated 2 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 4 months ago
• makslevental / mlir-python-extras
  The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.
  ☆83Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆22Updated 2 years ago
• metalift / metalift
  A program synthesis framework for verified lifting applications
  ☆50Updated last week
• mull-project / FileCheck.py
  [PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.
  ☆20Updated 8 months ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated this week