Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
☆26Nov 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:
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- Pretty-print error messages of the ATS Compiler☆38Jun 28, 2019Updated 7 years ago
- A meta-tracing JIT☆15Updated this week
- Compiler☆14Jun 29, 2024Updated 2 years ago
- Rust bindings to LLVM's `SanitizerCoverage` interface☆16Sep 16, 2022Updated 3 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.
- A meta tracing JIT for x86 and interpreters written in C/C++☆38Nov 29, 2016Updated 9 years ago
- EeZee Language - Compiler Engineering Basics☆37Jul 10, 2026Updated last month
- A Brainfuck interpreter embedded inside DWARF debug information☆41May 15, 2024Updated 2 years ago
- A little just-in-time compiler thing☆19Sep 28, 2018Updated 7 years ago
- NetBSD's wtf(6) adapted for Void Linux☆24Apr 3, 2024Updated 2 years ago
- WebAssembly Multi-Threaded Risc PC Emulator☆25Jun 21, 2023Updated 3 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆19Aug 19, 2024Updated last year
- Implement a Stack VM Interpreter with a Register Window☆12Jan 2, 2024Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆18Jun 14, 2026Updated 2 months 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.
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 6 months 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 10 months ago
- ☆11Jan 7, 2017Updated 9 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Executable memory allocator with support for dual mapping and W^X protection☆13Jul 6, 2023Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32May 5, 2026Updated 3 months ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- ~talkbot, the one and only.☆12May 30, 2018Updated 8 years ago
- An experimental / proof of concept / distributed forum built on top of Ethereum☆15Jan 23, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- OpenResty's LuaJIT test suite based on Mike Pall's LuaJIT tests☆34Jun 24, 2026Updated last month
- ☆12Sep 19, 2023Updated 2 years ago
- React Express app with some security considerations - nice for starting a new web project.☆15Sep 13, 2020Updated 5 years ago
- ☆14Sep 7, 2025Updated 11 months ago
- The 9p protocol as a serde format and message types.☆32May 21, 2021Updated 5 years ago
- ☆11Feb 8, 2023Updated 3 years ago
- Lua for Plan 9 space☆21Sep 27, 2024Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆81Jul 28, 2026Updated 2 weeks ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 3 months 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.
- Website for CS 265☆34Dec 27, 2024Updated last year
- Experimental functional language☆16Dec 24, 2025Updated 7 months ago
- ☆20Jul 15, 2026Updated 3 weeks ago
- A simple C++ driver base with KD data block☆11Jun 25, 2022Updated 4 years ago
- AssemblyScript benchmarking library☆11Jan 11, 2024Updated 2 years ago
- 🧙 Solutions to exercises from SICP☆17Jun 2, 2022Updated 4 years ago
- ☆17May 9, 2024Updated 2 years ago