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
- A library for disassembling x86-64 binaries.☆41Updated 2 months ago
- A library for binary analysis and rewriting☆47Updated last year
- ARM is Turing-complete without data fetches☆19Updated 7 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆32Updated last month
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆12Updated 2 years ago
- Parser for the llvm bitcode format☆59Updated this week
- Lower Size Bounds for Sorting Networks☆45Updated 4 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 3 months ago
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆27Updated 7 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- ☆19Updated 13 years ago
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- A superset of brainfuck with dynamic memory management.☆28Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- ARM is Turing-complete without data fetches☆56Updated 7 years ago
- Core Wars for standard 8086 assembly.☆32Updated last month
- x86 assembler in scheme☆29Updated 6 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- Binary lambda calculus☆10Updated 7 years ago
- An interactive tool for experimenting with LR(1) grammars☆17Updated 3 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Updated 4 years ago
- Peek/Poke like it's 1979 - Multi-Platform memory reading/writing☆12Updated 6 years ago
- lang Thue + Regex☆14Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated 2 years ago
- Extracting high level semantic information from binary code☆65Updated 6 years ago
- Carpet fractal genetic algorithm☆12Updated 7 years ago