Alternatives and similar repositories for turing-machine

Users that are interested in turing-machine are comparing it to the libraries listed below

• Rogdham / gif-md5-hashquine
  GIF displaying its own MD5 (hashquine)
  ☆77Updated 5 years ago
• chip-red-pill / udbgInstr
  ☆117Updated 2 years ago
• moreati / pickle-fuzz
  Attempts at fuzzing Python unpicklers
  ☆41Updated last year
• spookjs / spookjs-poc
  Proof-of-concept for Spook.js
  ☆70Updated 4 years ago
• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆288Updated 5 years ago
• isec-tugraz / AEPIC
  ☆112Updated 2 years ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆94Updated 4 years ago
• smx-smx / xzre
  XZ backdoor reverse engineering
  ☆98Updated last year
• thebabush / honggfuzz-qemu
  Ditto.
  ☆18Updated 5 years ago
• JonathonReinhart / nosecmem
  Demonstrate ability to read memfd_secret() data from the kernel
  ☆58Updated last year
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 4 years ago
• Battelle / patchwerk
  Binary patching framework for Linux kernels
  ☆48Updated 6 years ago
• allesctf / writeups
  ☆20Updated 3 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 11 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆247Updated 2 weeks ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆164Updated 2 years ago
• trailofbits / mishegos
  A differential fuzzer for x86 decoders
  ☆252Updated last year
• imbushuo / hyperv-lk
  Little Kernel for Hyper-V arm64 Guest
  ☆31Updated 3 years ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆376Updated 7 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 5 years ago
• jprx / DEFCON30-PACMAN
  Materials from the DEF CON 30 talk on PACMAN
  ☆34Updated 3 years ago
• astarasikov / qemu
  Official QEMU mirror
  ☆30Updated 3 months ago
• nico / hack
  various small things not worth their own repo
  ☆33Updated last month
• comsec-group / retbleed
  Arbitrary Speculative Code Execution with Return Instructions
  ☆173Updated last year
• gereeter / hsdecomp
  A decompiler for GHC-compiled Haskell
  ☆107Updated 7 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆30Updated 5 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆166Updated 4 years ago
• taviso / rarvmtools
  Minimal RarVM Toolchain
  ☆236Updated 10 years ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago