Alternatives and similar repositories for zebra:

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

• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• lemire / zobristhashing
  Zobrist hashing in C
  ☆13Updated 8 years ago
• VisualMIPS / visualmips.github.io
  ☆16Updated 6 years ago
• makenowjust / bf.jq
  Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!
  ☆40Updated 10 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 4 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• zv / SHA3ImplementedInsideofaRARfile
  The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
  ☆23Updated 10 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆16Updated last year
• jedisct1 / ping
  Pong revolution.
  ☆13Updated 5 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago
• GaloisInc / llvm-pretty-bc-parser
  Parser for the llvm bitcode format
  ☆59Updated last month
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• lunixbochs / subasm
  subleq assembler / interpreter / rop chain
  ☆5Updated 5 years ago
• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆32Updated 9 months ago
• wd5gnr / clambda
  Sort of Lambdas for gcc
  ☆34Updated 5 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 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
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated this week
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• nullpo-head / xv6-mips
  A MIPS port of xv6
  ☆72Updated 9 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…
  ☆12Updated last month
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆16Updated 4 months ago
• arbooker / factor64
  Factoring and primality testing of integers up to 2^64
  ☆11Updated 7 years ago
• vkrasnov / avx_qsort
  Quick sort code using AVX2 instructions
  ☆68Updated 7 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆18Updated this week
• jedisct1 / aes-stream
  A fast AES-PRF based secure random-number generator
  ☆20Updated last year