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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 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…☆74Feb 20, 2026Updated last month
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last month
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Pretty-print error messages of the ATS Compiler☆37Jun 28, 2019Updated 6 years ago
- WebAssembly Multi-Threaded Risc PC Emulator☆24Jun 21, 2023Updated 2 years ago
- 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
- A Brainfuck interpreter embedded inside DWARF debug information☆40May 15, 2024Updated last year
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Nov 29, 2016Updated 9 years ago
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 7 years ago
- NetBSD's wtf(6) adapted for Void Linux☆21Apr 3, 2024Updated last year
- For hosting ATS3 and developing CodeDepot☆18Mar 5, 2026Updated 2 weeks ago
- Implement a Stack VM Interpreter with a Register Window☆11Jan 2, 2024Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated last month
- Code snippets and reproductions from JustAByte☆25Jan 25, 2026Updated last month
- rio-wayland shim server☆21Sep 10, 2023Updated 2 years ago
- ☆12Jun 19, 2025Updated 9 months ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- A compiled, statically typed, C-like, data oriented language with a focus on performance and low-level optimization using GPU acceleratio…☆20Oct 4, 2025Updated 5 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- A minimal (really) out-of-tree MLIR example☆47Aug 14, 2025Updated 7 months ago
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 2 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Performant and safe knowledge compilation in rust☆31Nov 16, 2025Updated 4 months ago
- Bytecode interpreter☆80Jan 23, 2025Updated last year
- OpenResty's LuaJIT test suite based on Mike Pall's LuaJIT tests☆32Oct 30, 2025Updated 4 months ago
- ☆20May 30, 2024Updated last year
- nVidia's CUDA accelerated Spin Transformations of Discrete Surfaces, based on the original code and paper by Keenan Crane, Ulrich Pinkall…☆17Mar 14, 2018Updated 8 years ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆23Sep 21, 2025Updated 6 months ago
- Safely privileged daemon to let userspace wait on global barriers with low, constant overhead☆20Sep 11, 2019Updated 6 years ago
- ~talkbot, the one and only.☆12May 30, 2018Updated 7 years ago
- A portable C/C++ preprocessor☆26Feb 4, 2014Updated 12 years ago
- SDL 2.0 backend for Plan 9 from User Space libdraw☆15Apr 2, 2018Updated 7 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- Durin is a library for reading and writing the Dwarf debugging format☆47Updated this week
- Implementation of local and remote loci for Racket☆12Jan 8, 2021Updated 5 years ago
- ☆16Sep 7, 2025Updated 6 months ago