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
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated last month
• intermezzOS / bare-bones
  a skeleton of the intermezzos kernel
  ☆17Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• geohot / eda-3
  eda-3 from many years ago
  ☆14Updated 11 years ago
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 10 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆36Updated 7 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 3 weeks ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆71Updated 8 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆25Updated 5 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• m-lohmann / BeeswaxEsolang.jl
  beeswax Esoteric Programming Language
  ☆15Updated 5 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆11Updated 13 years ago
• mattulbrich / llreve
  Automatic regression verification for LLVM programs
  ☆19Updated 4 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• cfloume / Simple-APL-Neural
  A simple APL neural network.
  ☆11Updated 9 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 11 years ago
• AlexAltea / keystone.js
  Keystone assembler framework for JavaScript
  ☆79Updated 2 years ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆32Updated 9 years ago
• m4b / rdr
  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.
  ☆82Updated 2 years ago
• themasch / rust-git
  a git implementation in rust. yeah, I know..
  ☆12Updated 9 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 3 years ago
• GaloisInc / flexdis86
  A library for disassembling x86-64 binaries.
  ☆44Updated 8 months ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago