hoshir / zebraLinks
Othello program created by Gunnar Andersson - This is a copy of the original code -
☆15Updated 11 years ago
Alternatives and similar repositories for zebra
Users that are interested in zebra are comparing it to the libraries listed below
Sorting:
- Fuzzing compression libraries☆19Updated 9 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Test and benchmark repository for Z3.☆28Updated 4 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- subleq assembler / interpreter / rop chain☆5Updated 5 years ago
- Attempts at fuzzing Python unpicklers☆38Updated last year
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- Zobrist hashing in C☆13Updated 8 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 11 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Games and exercises to learn about browsers and security☆12Updated 8 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- Encodes data into printable Unicode characters.☆90Updated last month
- Parser for the llvm bitcode format☆59Updated 2 months ago
- A library for binary analysis and rewriting☆47Updated last year
- Debugger in the Trepan family for x-python☆17Updated 5 months ago
- The Keccak hash algorithm implemented inside of a RAR archive using the RAR filter assembly language☆23Updated 10 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Updated 10 years ago
- a language where the programs are works of modern art (updated for OSX)☆32Updated 3 years ago
- A Windows program to search for cellular automata patterns☆15Updated 12 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- MERGED WITH "BetaOne" ---------- AntiFish is a Neural Network designed to exploit weaknesses within Stockfish. The hope is that one day A…☆13Updated 6 years ago
- Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!☆41Updated 10 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago