Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
☆24Nov 13, 2024Updated last year
Alternatives and similar repositories for ddcg
Users that are interested in ddcg are comparing it to the libraries listed below
Sorting:
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆72Feb 20, 2026Updated last week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- WebAssembly Multi-Threaded Risc PC Emulator☆23Jun 21, 2023Updated 2 years ago
- Pretty-print error messages of the ATS Compiler☆37Jun 28, 2019Updated 6 years ago
- rio-wayland shim server☆21Sep 10, 2023Updated 2 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 4 months ago
- SDL 2.0 backend for Plan 9 from User Space libdraw☆15Apr 2, 2018Updated 7 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆28Updated this week
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- ☆27Mar 29, 2025Updated 11 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- The 9p protocol as a serde format and message types.☆32May 21, 2021Updated 4 years ago
- Lua for Plan 9 space☆21Sep 27, 2024Updated last year
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 3 months ago
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last week
- 32-bit RISC-V Emulator☆27Feb 23, 2019Updated 7 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- 9front visual programming☆34Dec 6, 2022Updated 3 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- OpenResty's LuaJIT test suite based on Mike Pall's LuaJIT tests☆31Oct 30, 2025Updated 4 months ago
- Bytecode interpreter☆79Jan 23, 2025Updated last year
- A Brainfuck interpreter embedded inside DWARF debug information☆40May 15, 2024Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- Website for CS 265☆33Dec 27, 2024Updated last year
- Simple grammar-based test case generator☆40Feb 23, 2026Updated last week
- small embeddable C-style preprocessor☆46May 12, 2023Updated 2 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- Resources for learning about numerical methods.☆44Oct 19, 2023Updated 2 years ago
- A minimal (really) out-of-tree MLIR example☆47Aug 14, 2025Updated 6 months ago
- ☆44Updated this week
- Compiler for Swiftlet☆40May 7, 2024Updated last year
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Sep 14, 2013Updated 12 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Nov 29, 2016Updated 9 years ago
- JavaScript Embedded Web Server☆19Sep 10, 2012Updated 13 years ago