amshafer / Pinch
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
- MimIR is my Intermediate Representation☆66Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- simple snapshot-style integration testing for commands☆71Updated 9 months ago
- ☆16Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- 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
- A minimal (really) out-of-tree MLIR example☆44Updated this week
- ☆59Updated 11 months ago
- A translation validation framework for MLIR☆81Updated last month
- The Shine compiler for the RISE language☆82Updated last month
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- A day of lightning talks for folks who distribute and release builds of LLVM, with a focus on configuration, testing, and unique constrai…☆35Updated 3 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last month
- MLIR metal dialect☆26Updated 7 months ago
- ☆61Updated this week
- Fast WebAssembly Baseline Compiler☆56Updated last year
- ☆29Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 2 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆101Updated 2 years ago
- EBNF grammar of LLVM IR assembly.☆65Updated 2 years ago
- An awesome list of e-graph resources☆162Updated last week
- Lightweight framework for easy and efficient code generation☆100Updated 8 months ago
- Translate Python and JavaScript into MLIR☆15Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 4 months ago