Alternatives and similar repositories for haxor:

Users that are interested in haxor are comparing it to the libraries listed below

• Rewzilla / asemu
  32-bit x86 emulator using ncurses and capstone/keystone/unicorn
  ☆29Updated 6 years ago
• williballenthin / reversing-clj
  messing around writing reversing tools in clojure
  ☆14Updated 7 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆39Updated last month
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆68Updated 8 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• ibabushkin / hapstone
  Capstone bindings for Haskell: https://github.com/aquynh/capstone
  ☆15Updated 4 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 6 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• endeav0r / hsvm
  Haxathon Supremacy Virtual Machine
  ☆32Updated 7 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• astocko / json-x86-64
  x86-64 Intel instruction set in JSON format
  ☆49Updated 8 years ago
• Chadys / Windows_Debugger
  A simple Windows x86-32 debugger
  ☆10Updated 8 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• AghilesAzzoug / Genetic-x86
  A python script that creates an X86 assembly code for memcpy using genetic algorithms.
  ☆10Updated 5 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆39Updated this week
• gdslang / gdsl-toolkit
  Generic Decoder Specification Language Toolkit
  ☆32Updated 6 years ago
• hlide / jitasm
  JIT Assembler Library for multiple ISAs
  ☆74Updated 10 years ago
• q3k / Cucumber
  A hobby OS (kernel).
  ☆11Updated last year
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago
• UCSD-PL / nano-smt
  "Toy" SMT Solver for Educational Purposes
  ☆20Updated 12 years ago
• lukego / asmlib
  Mirror of Agner Fog's assembler routines (GPL)
  ☆19Updated 8 years ago
• mikea / scheme-llvm
  ☆44Updated 8 years ago
• BinaryAnalysisPlatform / bap-frames
  Store and read traces in Protobuf
  ☆20Updated last year