Alternatives and similar repositories for zebra:

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

• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• scc416 / Visual2
  ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
  ☆28Updated 2 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆60Updated 5 months ago
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆27Updated last year
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 2 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆14Updated last month
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆19Updated 13 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆13Updated last year
• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• programble / befungee
  Befunge-93 interpreter written in Python with a debugger
  ☆19Updated 7 years ago
• apankrat / bff
  Moderately-optimizing brainfuck interpreter
  ☆41Updated 5 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆27Updated 3 years ago
• lemire / zobristhashing
  Zobrist hashing in C
  ☆13Updated 8 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆26Updated 2 weeks ago
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• irori / unlambda
  Unlambda interpreter
  ☆11Updated 6 months ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 4 years ago
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 3 years ago
• acbits / reftrack-plugin
  GCC plugin for C language that tracks references to allocated objects
  ☆24Updated 2 months ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• CafeOBJ / cafeobj
  Development of the CafeOBJ interpreter
  ☆33Updated 2 months ago
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 8 years ago
• b-mehta / exponential-ramsey
  ☆13Updated last year
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆49Updated 3 years ago