Alternatives and similar repositories for Turing-Machine-Compiler:

Users that are interested in Turing-Machine-Compiler are comparing it to the libraries listed below

• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆13Updated 7 years ago
• Rewzilla / asemu
  32-bit x86 emulator using ncurses and capstone/keystone/unicorn
  ☆29Updated 6 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆69Updated 7 years ago
• alyptik / cepl
  A readline C and C++ REPL with history, tab-completion, and undo.
  ☆19Updated 5 months ago
• ibabushkin / hapstone
  Capstone bindings for Haskell: https://github.com/aquynh/capstone
  ☆15Updated 3 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 3 years ago
• xoreaxeaxeax / vimmmex
  The vim execution engine
  ☆114Updated 6 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• lunixbochs / crossldso
  link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux
  ☆10Updated 4 years ago
• gereeter / hsdecomp
  A decompiler for GHC-compiled Haskell
  ☆105Updated 6 years ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 2 years ago
• contificate / lr
  An interactive tool for experimenting with LR(1) grammars
  ☆14Updated 2 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆25Updated 4 years ago
• GaloisInc / surveyor
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆18Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 3 years ago
• ConnorNelson / pypreload
  LD_PRELOAD, but for Python.
  ☆18Updated 5 years ago
• radare / ired
  minimalistic commandline hexadecimal editor similar to radare
  ☆81Updated 3 years ago
• astocko / json-x86-64
  x86-64 Intel instruction set in JSON format
  ☆49Updated 8 years ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆68Updated 6 years ago
• trailofbits / screen
  Measure branching along code paths
  ☆20Updated 8 years ago
• radareorg / acr
  autoconf replacement
  ☆33Updated 3 weeks ago
• elfmaster / static_binary_mitigations
  relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.
  ☆33Updated 6 years ago
• shawnanastasio / BasilC
  An interpreter for the BasilC esoteric programming language
  ☆8Updated 8 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆37Updated last year
• bx / elf-bf-tools
  ☆110Updated 11 years ago
• osirislab / dispatch
  Programmatic disassembly and patching
  ☆67Updated 8 years ago
• pbiernat / fuckitLLVM
  Improving reliability since 2016
  ☆42Updated 7 years ago
• francisvm / ld.so
  ld.so implementation in C++1z
  ☆9Updated 7 years ago