Alternatives and similar repositories for zebra

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

• KaKrzysiek / bigint
  Open source library to handle integers of any size in C
  ☆14Updated 2 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• lemire / zobristhashing
  Zobrist hashing in C
  ☆14Updated 8 years ago
• ilyakurdyukov / libminiomp
  Minimal implementation of the OpenMP runtime library.
  ☆11Updated 3 years ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• zv / SHA3ImplementedInsideofaRARfile
  The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language
  ☆23Updated 10 years ago
• arbooker / factor64
  Factoring and primality testing of integers up to 2^64
  ☆11Updated 7 years ago
• jsummers / winlifesearch
  A Windows program to search for cellular automata patterns
  ☆15Updated 12 years ago
• aphitorite / Logsort
  O(n log n) In-place Stable Quicksort
  ☆18Updated 7 months ago
• momalab / cryptoleq
  Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.
  ☆30Updated 10 months ago
• kvakil / 0asm
  x86 assembler in 512 bytes of x86 machine code
  ☆35Updated 5 years ago
• gbarr / perl-Convert-ASN1
  encode/decode data using ASN.1 description
  ☆13Updated last year
• nemequ / compfuzz
  Fuzzing compression libraries
  ☆19Updated 9 years ago
• pfalcon / pyflate
  Pure Python zlib/gzip/bzip2 decompessor/bitstream dumper, plus additional utilities
  ☆31Updated 10 years ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆18Updated last week
• g1mv / fsbench-density
  a copy of m^2 's fsbench (https://chiselapp.com/user/Justin_be_my_guide/repository/fsbench/) with the latest density updates
  ☆13Updated 5 years ago
• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• qu1j0t3 / fhourstones
  The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)
  ☆49Updated 10 years ago
• xldenis / besm
  Resurrecting PP-BESM
  ☆26Updated 2 years ago
• delcypher / nsolv
  Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.
  ☆12Updated 12 years ago
• imihajlow / ccpu-cc
  A C11 compiler for the discrete logic computer
  ☆20Updated last year
• irori / unlambda
  Unlambda interpreter
  ☆11Updated last year
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 weeks ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• embecosm / gnu-superopt
  The GNU Superoptimizer
  ☆26Updated 10 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 11 years ago
• FastFilter / FilterPassword
  Experiments in C++: binary fuse filters vs. Bloom filters
  ☆47Updated 7 months ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Updated 7 years ago