tekknolagi / ddcgLinks
Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
☆24Updated 6 months ago
Alternatives and similar repositories for ddcg
Users that are interested in ddcg are comparing it to the libraries listed below
Sorting:
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 8 months ago
- ☆53Updated last year
- ☆63Updated 2 weeks ago
- Universal instruction selection☆12Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- A rethinking of the C time library☆11Updated 3 months ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- ☆38Updated 4 years ago
- Modeling futexes in TLA+☆20Updated 7 months ago
- ☆23Updated 5 months ago
- MimIR is my Intermediate Representation☆68Updated last week
- ☆48Updated 4 years ago
- unicode security guidelines for identifiers☆25Updated 5 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆45Updated 4 years ago