A simple borrow-checked language built using LLVM's MLIR
☆30May 3, 2020Updated 6 years ago
Alternatives and similar repositories for Pinch
Users that are interested in Pinch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GCC project to add a WASM target☆10Dec 29, 2022Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This fork is used to manage Apple’s stable…☆10Oct 16, 2026Updated 2 weeks ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 8 months ago
- Curly programming language☆18Jan 8, 2021Updated 5 years ago
- A Clang plugin for generating CLIs from unmodified C++ functions/classes.☆36Feb 3, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implement LLVM passes in python☆12Feb 2, 2025Updated last year
- Record and Replay for WebAssembly☆36Jul 1, 2026Updated 3 months ago
- An out-of-tree MLIR dialect template.☆120Mar 26, 2026Updated 7 months ago
- ☆14Jan 17, 2025Updated last year
- HAMT implementation whose sub-trees can be shared over threads☆10Oct 19, 2026Updated last week
- A programming language for fun☆13Dec 8, 2023Updated 2 years ago
- An MLIR frontend for tensor expressions☆24Sep 5, 2020Updated 6 years ago
- small script for managing google scholar alert emails☆11May 6, 2023Updated 3 years ago
- Frontend implementation of ocwcentral.com☆21Aug 30, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10May 7, 2024Updated 2 years ago
- KDE Board Game Suite☆13Feb 22, 2012Updated 14 years ago
- Visualize git history in a sunburst chart☆14Jul 28, 2023Updated 3 years ago
- Talk for PPL2023☆12Mar 6, 2023Updated 3 years ago
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆26Jul 26, 2025Updated last year
- Because somebody has to catch the hot potato!☆18May 22, 2016Updated 10 years ago
- ☆27Sep 29, 2022Updated 4 years ago
- PID-based temperature control library☆11Apr 15, 2013Updated 13 years ago
- Code for non-separable filtering in 2, 3 and 4 dimensions with the CUDA programming language.☆12Feb 15, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A High-Performance Storage Infrastructure for Activity and Log Workloads☆15Updated this week
- Philippe Charles's LALR Parser Generator. It was used to build the Eclipse Java compiler, as well as many of IBM's product compilers.☆13Aug 11, 2018Updated 8 years ago
- Low-level Nintendo64 emulator 🌏☆30Updated this week
- Mirror of https://codeberg.org/tjammer/schmu☆29Oct 10, 2026Updated 2 weeks ago
- ☆10Feb 9, 2022Updated 4 years ago
- Structured diagnostics for Rust applications☆33Jun 8, 2024Updated 2 years ago
- A Thin, low-level, explicit, cross-platform abstraction layer in C☆19Updated this week
- C library plusifier☆11Nov 13, 2021Updated 4 years ago
- An experimental library for HTML generation in Mojo☆14May 8, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- EBNF grammar of LLVM IR assembly.☆67Oct 23, 2022Updated 4 years ago
- ☆13Apr 3, 2016Updated 10 years ago
- ☆10Sep 19, 2019Updated 7 years ago
- A mechanisation of Wasm in Isabelle.☆39Aug 27, 2026Updated 2 months ago
- Parallel Functional Testing framework, written in Rust☆11Oct 22, 2023Updated 3 years ago
- ☆45Mar 2, 2026Updated 7 months ago
- 🌌 gleam gemini server library☆12Nov 27, 2024Updated last year