Alternatives and similar repositories for turing-machine

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

• moreati / pickle-fuzz
  Attempts at fuzzing Python unpicklers
  ☆41Updated last year
• chip-red-pill / udbgInstr
  ☆117Updated 2 years ago
• pipcet / pearl
  GNU/Linux on Apple M1 hardware
  ☆35Updated 3 years ago
• Rogdham / gif-md5-hashquine
  GIF displaying its own MD5 (hashquine)
  ☆77Updated 5 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆45Updated 5 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆166Updated 2 years ago
• google / hammer-kit
  ☆78Updated 4 years ago
• jprx / DEFCON30-PACMAN
  Materials from the DEF CON 30 talk on PACMAN
  ☆34Updated 3 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆30Updated 5 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated 2 years ago
• allesctf / writeups
  ☆20Updated 3 years ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆94Updated 4 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆320Updated 4 years ago
• trailofbits / divergent-representations
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Updated 2 years ago
• GaloisInc / reopt
  A tool for analyzing x86-64 binaries.
  ☆336Updated last year
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆76Updated 3 years ago
• trailofbits / magnifier
  ☆59Updated 2 years ago
• GaloisInc / macaw
  Open source binary analysis tools.
  ☆247Updated last week
• spookjs / spookjs-poc
  Proof-of-concept for Spook.js
  ☆70Updated 4 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 11 years ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆376Updated 7 years ago
• astarasikov / qemu
  Official QEMU mirror
  ☆30Updated 4 months ago
• orisano / olll
  A Python3 Implementation of LLL
  ☆36Updated 4 years ago
• comsec-group / retbleed
  Arbitrary Speculative Code Execution with Return Instructions
  ☆175Updated last year
• taviso / rarvmtools
  Minimal RarVM Toolchain
  ☆236Updated 10 years ago
• airbus-seclab / diffware
  An extensively configurable tool providing a summary of the changes between two files or directories, ignoring all the fluff you don't ca…
  ☆203Updated 3 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• chip-red-pill / crbus_scripts
  IPC scripts for access to Intel CRBUS
  ☆120Updated 4 years ago
• hoshinolina / agx-exploit
  CVE-2022-32947 walkthough and demo
  ☆187Updated 2 years ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated 2 years ago