hoshir / zebra
Othello program created by Gunnar Andersson - This is a copy of the original code -
☆14Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for zebra
- Open source library to handle integers of any size in C☆12Updated last year
- ☆12Updated last year
- Euclidean plane and its relatives; a minimalist introduction.☆17Updated this week
- Zobrist hashing in C☆13Updated 8 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 7 years ago
- ☆19Updated 7 years ago
- O(n log n) In-place Stable Quicksort☆14Updated last month
- BIOS-based boot menu and loader☆16Updated 8 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Fuzzing compression libraries☆19Updated 8 years ago
- QARMA block cipher in C☆24Updated 2 years ago
- ☆19Updated last year
- Asserting algebraic properties of C functions☆10Updated this week
- Factoring and primality testing of integers up to 2^64☆11Updated 7 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 4 years ago
- A Windows program to search for cellular automata patterns☆15Updated 11 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- Grain of Salt equation generator☆16Updated 2 years ago
- My branch of the Cyclone programming language☆18Updated 13 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- The GNU Superoptimizer☆26Updated 10 years ago
- x86info : x86 processor register decoder.☆40Updated 9 months ago
- The Aegean C compiler☆9Updated 8 years ago
- mirror of Fabrice Bellard's libbf tar releases☆11Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆39Updated 4 months ago
- Turn an interpreter into a code generator☆29Updated 9 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago