Battelle / reductioLinks
An exploration of code homeomorphism
☆34Updated 7 years ago
Alternatives and similar repositories for reductio
Users that are interested in reductio are comparing it to the libraries listed below
Sorting:
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- A library for disassembling x86-64 binaries.☆41Updated last month
- A library for binary analysis and rewriting☆47Updated last year
- ARM is Turing-complete without data fetches☆19Updated 7 years ago
- An interactive tool for experimenting with LR(1) grammars☆16Updated 3 years ago
- Esotope Brainfuck Compiler (2009)☆28Updated 9 years ago
- A superset of brainfuck with dynamic memory management.☆28Updated 4 years ago
- Writeup that goes along with this:☆15Updated 7 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- An implementation of Terry Davis' minicompiler in Rust targeting WebAssembly☆33Updated 4 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 6 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated last month
- Parser for the llvm bitcode format☆59Updated 2 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆10Updated 7 years ago
- The web framework nobody asked for, wants, or needs.☆20Updated 4 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆32Updated last month
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 4 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- asrepl: x86-64 assembly REPL☆70Updated 8 years ago
- Convert ELF executables to DOS executables☆32Updated 6 years ago
- Tiny modular assembler & vm for lightweight control microcode☆36Updated 5 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Simple and powerful programming language with type inference☆24Updated 8 years ago