Alternatives and similar repositories for base65537

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

• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆54Updated 6 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆71Updated 8 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆37Updated 7 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆49Updated 2 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆58Updated 7 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 10 years ago
• sushant94 / rune
  rune - radare2 based symbolic emulator
  ☆27Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆83Updated 2 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 9 months ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated last week
• jovanbulck / jsh
  A basic UNIX shell implementation in C
  ☆34Updated 6 years ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆33Updated 9 years ago
• radare / sal
  Scripting Assembly Language
  ☆12Updated 10 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 5 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆72Updated 9 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆36Updated 6 years ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆14Updated 9 years ago
• nst / UniBinary
  Encodes data into printable Unicode characters.
  ☆90Updated 9 months ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆30Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• dutchcoders / trace
  System tracer implementation in Rust
  ☆32Updated 9 years ago
• AlexAltea / keystone.js
  Keystone assembler framework for JavaScript
  ☆81Updated 2 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆46Updated 7 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated 2 months ago
• KevinMGranger / nine
  The 9p protocol as a serde format and message types.
  ☆32Updated 4 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago