Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
☆27Nov 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"☆26Oct 22, 2023Updated 3 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- Pretty-print error messages of the ATS Compiler☆39Jun 28, 2019Updated 7 years ago
- A meta-tracing JIT☆16Updated this week
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 7 years ago
- Rust bindings to LLVM's `SanitizerCoverage` interface☆16Sep 16, 2022Updated 4 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆37Nov 29, 2016Updated 9 years ago
- Compiler☆14Jun 29, 2024Updated 2 years ago
- An asynchronous Python wrapper over the BattlEye RCON protocol.☆11Oct 21, 2026Updated last week
- EeZee Language - Compiler Engineering Basics☆37Jul 10, 2026Updated 3 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated last year
- ☆11Jun 19, 2025Updated last year
- 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.
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 8 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- A Brainfuck interpreter embedded inside DWARF debug information☆41May 15, 2024Updated 2 years ago
- wine for 9☆17Oct 29, 2022Updated 4 years ago
- Qualcomm Hexagon decoder for the yaxpeax project☆10Jul 13, 2025Updated last year
- Interval arithmetic for real computation☆27Feb 7, 2026Updated 8 months ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Interactive ROP gadget semantic search☆10Feb 11, 2026Updated 8 months ago
- ☆22Jan 22, 2025Updated last year
- 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.
- OCaml code for Compiler Construction course at University of Cambridge☆10Jan 20, 2026Updated 9 months ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- ☆13Feb 12, 2026Updated 8 months ago
- Experimental libraries for R6RS Scheme☆11Jan 26, 2016Updated 10 years ago
- ☆32May 27, 2018Updated 8 years ago
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- ☆11Jan 7, 2017Updated 9 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 9 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆28Oct 13, 2025Updated last year
- 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.
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 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…☆21Oct 4, 2025Updated last year
- Javascript package that helps to build wasm code by hand.☆15May 3, 2024Updated 2 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 6 years ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month