Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
☆26Oct 22, 2023Updated 3 years ago
Alternatives and similar repositories for graph-irs
Users that are interested in graph-irs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- A meta-tracing JIT☆16Updated this week
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆27Nov 13, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated 2 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- ☆17Jul 6, 2026Updated 3 months ago
- Embedded Universal DSL: a good DSL for us, by us☆84Updated this week
- A library of assemblers and disassemblers derived from LLVM TableGen data☆26Oct 12, 2026Updated 2 weeks ago
- libxsql core library☆19Oct 20, 2026Updated last week
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 6 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.☆13Feb 19, 2024Updated 2 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.
- ☆14Jun 15, 2026Updated 4 months ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- ☆12Mar 9, 2025Updated last year
- A minimal (really) out-of-tree MLIR example☆49Aug 14, 2025Updated last year
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Jun 16, 2026Updated 4 months ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Quick starter for SDL2 projects that run in web or desktop☆13Jul 24, 2020Updated 6 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Self-hosted, agentic vulnerability research for binaries & firmware: an AI agent decompiles, fuzzes, and verifies exploits inside a sandb…☆21Aug 15, 2026Updated 2 months ago
- ☆19Jul 13, 2021Updated 5 years ago
- Minimal examples of crates useful for compiler development☆33Updated this week
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆116May 19, 2022Updated 4 years ago
- Yet another NEAT implementation☆14Sep 27, 2019Updated 7 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆32Apr 13, 2015Updated 11 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.
- Pull your compiler up with abstract bootstraps.☆32Dec 15, 2022Updated 3 years ago
- An interactive Datalog☆79Oct 16, 2026Updated 2 weeks ago
- ☆13Apr 23, 2021Updated 5 years ago
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 4 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆13Jul 6, 2020Updated 6 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆86Oct 24, 2026Updated last week
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago