amshafer / Pinch
A simple borrow-checked language built using LLVM's MLIR
☆27Updated 4 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 this week
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆15Updated 3 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
- simple snapshot-style integration testing for commands☆70Updated 9 months ago
- ☆58Updated 10 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- MLIR metal dialect☆25Updated 6 months ago
- Embedded Universal DSL: a good DSL for us, by us☆35Updated this week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 weeks ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆18Updated 2 weeks ago
- A minimal (really) out-of-tree MLIR example☆44Updated last week
- The Shine compiler for the RISE language☆79Updated 3 weeks ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- Bottom Up Rewrite Generator☆27Updated 7 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- [PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.☆20Updated 9 months ago
- Fast WebAssembly Baseline Compiler☆55Updated last year
- A translation validation framework for MLIR☆81Updated 3 weeks ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Search-based compiler for high-performance DSP programming☆63Updated 5 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- ☆16Updated last year
- Lightweight framework for easy and efficient code generation☆100Updated 7 months ago
- Declarative MLIR compilers in Python!☆33Updated 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…☆34Updated 3 years ago
- An experimental optimizing compiler for Bril☆65Updated this week
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- ☆28Updated 2 years ago
- EBNF grammar of LLVM IR assembly.☆64Updated 2 years ago