amshafer / PinchLinks
A simple borrow-checked language built using LLVM's MLIR
☆27Updated 5 years ago
Alternatives and similar repositories for Pinch
Users that are interested in Pinch are comparing it to the libraries listed below
Sorting:
- MimIR is my Intermediate Representation☆68Updated last week
- simple snapshot-style integration testing for commands☆71Updated this week
- MLIR metal dialect☆27Updated 8 months ago
- A minimal (really) out-of-tree MLIR example☆44Updated 3 weeks ago
- ☆63Updated this week
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- A translation validation framework for MLIR☆85Updated 2 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- 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
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Lightweight framework for easy and efficient code generation☆100Updated 9 months ago
- The Shine compiler for the RISE language☆82Updated 2 weeks ago
- ☆61Updated last year
- ☆17Updated last year
- An experimental optimizing compiler for Bril☆69Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- A program synthesis framework for verified lifting applications☆52Updated this week
- A repository to test dialects defined dynamically.☆12Updated last year
- EBNF grammar of LLVM IR assembly.☆66Updated 2 years ago
- Partial Redundancy Elimination Pass in LLVM☆13Updated 6 years ago
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 2 months ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- benchmarking e-graph extraction☆41Updated 2 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Website for CS 265☆28Updated 5 months ago