Alternatives and similar repositories for zebra

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

• arbooker / factor64
  Factoring and primality testing of integers up to 2^64
  ☆11Updated 7 years ago
• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• zv / SHA3ImplementedInsideofaRARfile
  The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
  ☆23Updated 10 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• 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
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• lemire / zobristhashing
  Zobrist hashing in C
  ☆13Updated 8 years ago
• SchrodingerZhu / memcpy-amd64
  An implementation of memcpy for amd64 with clang/gcc
  ☆15Updated 3 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated 2 months ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆42Updated 5 years ago
• caioso / DynASM
  DynASM is a Dynamic Assembler for code generation engines.
  ☆15Updated 10 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• formalmethods / smtlectures
  A collection of slides of the SMT course I held at University of Milan in fall 2011
  ☆9Updated 10 years ago
• logicworldzju / X86Emulator
  Another x86 emulator which likes bochs. But it is much weaker in the functionality. As it is a course project,now we only want to emulat…
  ☆18Updated 11 years ago
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 5 years ago
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆16Updated 5 months ago
• hundt98847 / mao
  Automatically exported from code.google.com/p/mao
  ☆11Updated 4 years ago
• ligurio / gromit
  is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.
  ☆17Updated last week
• doublec / nanojit
  Fork of Adobe/Mozilla lightweight library for generating machine code from C++
  ☆35Updated 15 years ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆15Updated 12 years ago