amshafer / Pinch
A simple borrow-checked language built using LLVM's MLIR
☆27Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Pinch
- 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☆66Updated 3 months ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 2 years ago
- ☆51Updated 3 weeks ago
- A repository to test dialects defined dynamically.☆12Updated last year
- MLIR metal dialect☆23Updated last month
- ☆14Updated last year
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 2 years ago
- The Shine compiler for the RISE language☆73Updated this week
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- MimIR is my Intermediate Representation☆48Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Implementation of the RISE language☆14Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- ☆51Updated 5 months ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- embedding MLIR in LEAN☆47Updated 4 months ago
- benchmarking e-graph extraction☆34Updated last month
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- ☆50Updated this week
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- Translate Python and JavaScript into MLIR☆14Updated 2 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…☆34Updated 3 years ago
- Search-based compiler for high-performance DSP programming☆61Updated last week
- Lightweight framework for easy and efficient code generation☆98Updated 2 months ago
- The implementation of the Elevate language☆29Updated last week
- [PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.☆21Updated 4 months ago