tekknolagi / ddcg
Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
☆24Updated 2 months ago
Alternatives and similar repositories for ddcg:
Users that are interested in ddcg are comparing it to the libraries listed below
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- ☆58Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 3 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆102Updated 4 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆19Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Compact garbage-collected heap and JSON-like object model☆80Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆72Updated this week
- An implementation of interaction nets as a forth-like language.☆26Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- Personal branch of git://c9x.me/qbe.git☆37Updated 3 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 10 months ago
- ☆55Updated 4 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆12Updated last year
- ☆38Updated 4 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆54Updated last year
- C23 Checked Arithmetic☆117Updated last month
- Universal instruction selection☆12Updated 6 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- MimIR is my Intermediate Representation☆55Updated this week
- An assembly control flow graph/basic block visualizer for the web☆35Updated 2 years ago
- Self-hosted ion compiler. Based on ion here: https://github.com/pervognsen/bitwise☆17Updated 6 years ago
- Modeling futexes in TLA+☆22Updated 3 months ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago