Alternatives and similar repositories for base65537

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

• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 3 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆71Updated 8 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆33Updated 7 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 4 years ago
• AlexAltea / keystone.js
  Keystone assembler framework for JavaScript
  ☆78Updated 2 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• xoreaxeaxeax / tiresias
  ARM is Turing-complete without data fetches
  ☆57Updated 7 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• nst / UniBinary
  Encodes data into printable Unicode characters.
  ☆90Updated 5 months ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 9 years ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 8 years ago
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 10 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• kvnesterov / IdaHaskell
  Allows to execute haskell code in Ida Pro.
  ☆27Updated 9 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated 3 weeks ago
• burtonsamograd / anser
  A header only Boolean Propagator Network framework for the omni-directional computation of Integer mathematical functions and computation…
  ☆14Updated 7 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆49Updated 4 years ago
• m-lohmann / BeeswaxEsolang.jl
  beeswax Esoteric Programming Language
  ☆15Updated 5 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆43Updated 5 months ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆27Updated 11 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆42Updated 2 months ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆48Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• fred-dbg / fred
  ☆21Updated 10 years ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• Hypersonic / bf_symex
  symbolic execution engine for brainfuck because lol
  ☆14Updated 8 years ago