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:
- E-Graph library☆21Apr 4, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- A byte code specification and a JIT-compiler written in Assembly.☆14Jan 9, 2025Updated last year
- ☆19Dec 21, 2024Updated last year
- cranelift compatible c api's☆19Jul 30, 2024Updated last year
- Parallel Groebner Basis Computation☆25May 8, 2023Updated 2 years ago
- Overlay chroot☆16Apr 16, 2020Updated 5 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☆198Updated this week
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- Restructor Prototype☆21Jun 10, 2017Updated 8 years ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 10 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 4 months ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 3 years ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Oct 22, 2023Updated 2 years ago
- A small, statically typed, low-level programming language.☆24Sep 8, 2025Updated 6 months ago
- A permissively licensed, low-level, high-performance cryptographic hash library for hackers.☆27Jun 6, 2025Updated 9 months ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- Binary Type Inference Ghidra Plugin☆168Feb 9, 2024Updated 2 years ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 9 months ago
- ☆24Feb 26, 2023Updated 3 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- Relational programming for OCaml (unreleased)☆24Jun 6, 2022Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆108May 19, 2022Updated 3 years ago
- EeZee Language - Compiler Engineering Basics☆36Feb 23, 2026Updated last week
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- A super simple /sbin/init for Linux which allows running one and only one program☆29Nov 26, 2023Updated 2 years ago
- ☆29Sep 27, 2019Updated 6 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Sep 25, 2025Updated 5 months ago
- Mixed Boolean Arithmetic Expression Obfuscator☆74Jul 26, 2023Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- Highly space and performance efficient C allocator☆28Dec 25, 2025Updated 2 months ago