amshafer / Pinch
A simple borrow-checked language built using LLVM's MLIR
☆27Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Pinch
- ☆14Updated 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
- simple snapshot-style integration testing for commands☆67Updated 4 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Translate Python and JavaScript into MLIR☆14Updated 2 years ago
- A term rewriting system for experimental programming language development.☆38Updated last month
- ☆51Updated 6 months ago
- MLIR metal dialect☆23Updated 2 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- MimIR is my Intermediate Representation☆48Updated 3 weeks ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated 2 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- The Shine compiler for the RISE language☆73Updated 2 weeks ago
- embedding MLIR in LEAN☆47Updated 5 months ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆129Updated 4 years ago
- ☆52Updated this week
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- A translation validation framework for MLIR☆73Updated last week
- Implementation of the RISE language☆14Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆40Updated last year
- Programming Languages Intermediate Representation☆86Updated 3 weeks ago
- Memory Management ToolKit☆31Updated 3 weeks ago
- Lightweight framework for easy and efficient code generation☆98Updated 3 months ago