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:
- The GNU Superoptimizer☆26Updated 10 years ago
- ARM is Turing-complete without data fetches☆19Updated 7 years ago
- A library for disassembling x86-64 binaries.☆41Updated 2 months ago
- Unlambda interpreter☆11Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆28Updated 4 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 4 months ago
- Parser for the llvm bitcode format☆59Updated 2 weeks ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆58Updated last year
- An interpreter for the BasilC esoteric programming language☆7Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 3 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- A superset of brainfuck with dynamic memory management.☆29Updated 4 years ago
- ☆18Updated 5 years ago
- Tiny modular assembler & vm for lightweight control microcode☆36Updated 5 years ago
- Virtual Machine and Assembler for Notch's DCPU-16 Architecture☆222Updated 13 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…☆14Updated 7 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆32Updated 2 months ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Liveness-driven random C code generator☆41Updated last year
- Superoptimizer using the z3 SMT solver☆17Updated 4 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 7 years ago
- Core Wars for standard 8086 assembly.☆32Updated 2 months ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago