A simple borrow-checked language built using LLVM's MLIR
☆26May 3, 2020Updated 5 years ago
Alternatives and similar repositories for Pinch
Users that are interested in Pinch are comparing it to the libraries listed below
Sorting:
- The Geode Programming Language☆16Dec 30, 2019Updated 6 years ago
- Curly programming language☆18Jan 8, 2021Updated 5 years ago
- ☆26Sep 29, 2022Updated 3 years ago
- ☆45Feb 26, 2026Updated last week
- Mirror of https://codeberg.org/tjammer/schmu☆29Feb 12, 2026Updated 3 weeks ago
- Pull your compiler up with abstract bootstraps.☆31Dec 15, 2022Updated 3 years ago
- CN separation logic refinement type system for C☆46Feb 16, 2026Updated 2 weeks ago
- Simple, transparent parser combinators toolkit that supports any tokens☆36Feb 1, 2026Updated last month
- ☆45Updated this week
- Interpreter for the reversible functional language rFun☆38Feb 28, 2018Updated 8 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆14Nov 25, 2025Updated 3 months ago
- An attempt to live code a working Retrieval Augmented Generation app with AI coding tools☆17Apr 24, 2025Updated 10 months ago
- Summoner's core SDK for building and deploying agents☆13Feb 18, 2026Updated 2 weeks ago
- REST API provider configuration for the Purest module☆11Jan 13, 2021Updated 5 years ago
- A minimalistic deployment software focused on simplicity and clarity.☆11Feb 12, 2022Updated 4 years ago
- Creates Random Coding Sequences with specified GC content and Amino Acid usage☆10Jun 21, 2022Updated 3 years ago
- websocket-protocol's implementation with multithread synchronization model in C++☆17Jul 23, 2017Updated 8 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Some kind of TidalCycles implementation for SuperCollider☆14May 29, 2020Updated 5 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- A concurrent GC.☆44Jul 10, 2022Updated 3 years ago
- Rust library for encoding/decoding Unix archive (.a) files☆49Jul 21, 2024Updated last year
- decontamination☆26Dec 3, 2025Updated 3 months ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- Tool to format gherkin-ast model to gherkin string☆12Feb 28, 2026Updated last week
- Documentation for the ripper Ruby standard library☆14Aug 26, 2023Updated 2 years ago
- Tiny single script to colorize `go test`☆12Feb 16, 2023Updated 3 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Minimalist crate for deterministic binary encodings in Rust☆11Nov 19, 2024Updated last year
- Run Minikube From Terraform☆12Aug 10, 2019Updated 6 years ago
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- 🌌 gleam gemini server library☆11Nov 27, 2024Updated last year
- a Haskell clone for the JVM☆12Jul 9, 2015Updated 10 years ago
- 🎼 A simple self-hosted Subsonic web client.☆30Feb 20, 2026Updated 2 weeks ago
- Reading great papers in the history of artificial intelligence and machine learning☆10Oct 26, 2022Updated 3 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- Control the DOM from Python using Websockets☆12Mar 5, 2018Updated 8 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year