TartanLlama / dwarbfView external linksLinks
A Brainfuck interpreter embedded inside DWARF debug information
☆40May 15, 2024Updated last year
Alternatives and similar repositories for dwarbf
Users that are interested in dwarbf are comparing it to the libraries listed below
Sorting:
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Native Rust bindings for @horsicq's Detect-It-Easy☆19Nov 11, 2025Updated 3 months ago
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- software archaeology of reflective towers of interpreters☆16Jun 6, 2025Updated 8 months ago
- User interface for inspecting and editing .vtil files based on Ultralight. (WIP)☆15Aug 19, 2020Updated 5 years ago
- E-Graph library☆20Apr 4, 2024Updated last year
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Jul 18, 2023Updated 2 years ago
- Overlay chroot☆16Apr 16, 2020Updated 5 years ago
- cranelift compatible c api's☆19Jul 30, 2024Updated last year
- Parallel Groebner Basis Computation☆25May 8, 2023Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆191Feb 8, 2026Updated last week
- Restructor Prototype☆22Jun 10, 2017Updated 8 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated 11 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 9 months ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Nov 13, 2024Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆20Oct 19, 2025Updated 3 months ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 5 months ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- A permissively licensed, low-level, high-performance cryptographic hash library for hackers.☆27Jun 6, 2025Updated 8 months ago
- Binary Type Inference Ghidra Plugin☆168Feb 9, 2024Updated 2 years ago
- ☆24Feb 26, 2023Updated 2 years ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆107May 19, 2022Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- EeZee Language - Compiler Engineering Basics☆35Updated this week
- ☆29Sep 27, 2019Updated 6 years ago
- Evasive ELF Static PIE User-Land-Exec featured in Tmpout Vol 1.☆28Sep 11, 2021Updated 4 years ago
- Mixed Boolean Arithmetic Expression Obfuscator☆72Jul 26, 2023Updated 2 years ago
- Documentation of the VTIL API.☆32Nov 1, 2020Updated 5 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 4 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 9 months ago
- Highly space and performance efficient C allocator☆28Dec 25, 2025Updated last month
- A graphing library for Control Flow Graphs☆104Jun 19, 2025Updated 7 months ago