Alternatives and similar repositories for zebra:

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

• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• CyberGrandChallenge / libcgc
  DARPA Cyber Grand Challenge OS syscall library
  ☆18Updated 8 years ago
• lemire / zobristhashing
  Zobrist hashing in C
  ☆13Updated 8 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆17Updated 3 weeks ago
• b-mehta / exponential-ramsey
  ☆14Updated last year
• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆13Updated last year
• gbarr / perl-Convert-ASN1
  encode/decode data using ASN.1 description
  ☆13Updated last year
• rurban / perl-hash-stats
  Counting the collisions with perl hash tables per function
  ☆12Updated 5 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated this week
• makenowjust / bf.jq
  Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!
  ☆40Updated 10 years ago
• formalmethods / smtlectures
  A collection of slides of the SMT course I held at University of Milan in fall 2011
  ☆8Updated 9 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago
• shinh / 8cc
  A Toy C Compiler
  ☆22Updated 3 years ago
• crioux / turbo-linecount
  Superfast Line Counter
  ☆50Updated 3 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated last month
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆15Updated 2 months ago
• whitequark / zs
  ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin
  ☆16Updated 9 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago
• depp / elf2dos
  Convert ELF executables to DOS executables
  ☆31Updated 5 years ago
• Z3Prover / z3test
  Test and benchmark repository for Z3.
  ☆26Updated last month
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 2 years ago
• nmosier / clou
  ☆10Updated last year
• msoos / grainofsalt
  Grain of Salt equation generator
  ☆16Updated 2 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆15Updated 12 years ago