Meyermagic / Turing-Machine-CompilerLinks
A purely academic effort to compile a subset of C to a 3-symbol, 5-tape simulated turing machine ruleset.
☆11Updated 14 years ago
Alternatives and similar repositories for Turing-Machine-Compiler
Users that are interested in Turing-Machine-Compiler are comparing it to the libraries listed below
Sorting:
- symbolic execution engine for brainfuck because lol☆14Updated 8 years ago
- The vim execution engine☆116Updated 7 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- Generic Decoder Specification Language Toolkit☆32Updated 6 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆28Updated 7 years ago
- Reference material for libbeauty☆25Updated 3 years ago
- A readline C and C++ REPL with history, tab-completion, and undo.☆26Updated this week
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆89Updated 4 years ago
- ☆113Updated 11 years ago
- Steps to build the Linux kernel using Clang☆102Updated 3 years ago
- TRiad Is A Decompiler. Triad is a tiny, free and open source, Capstone based x86 decompiler for ELF binaries.☆104Updated 10 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 10 years ago
- ARM is Turing-complete without data fetches☆57Updated 7 years ago
- Minimal RarVM Toolchain☆236Updated 10 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆126Updated 7 years ago
- Yet another crippled decompiler project☆109Updated 3 years ago
- 32-bit x86 emulator using ncurses and capstone/keystone/unicorn☆29Updated 6 years ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- A REPL for assembly☆104Updated 9 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆10Updated 5 years ago
- Kernel-based debugger for Linux applications☆75Updated 3 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆107Updated 7 years ago
- A decompiler for GHC-compiled Haskell☆107Updated 7 years ago
- Snowman decompiler☆110Updated 8 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Updated this week
- rune - radare2 based symbolic emulator☆27Updated 8 years ago
- Convert a C Standard Draft PDF into HTML☆21Updated last week
- Rewriting functions in compiled binaries using McSema☆91Updated 6 years ago
- Adds symbols to a ELF file.☆64Updated 10 years ago
- MSDOS emulator built on top of Unicorn engine☆137Updated 9 years ago