hoshir / zebraLinks
Othello program created by Gunnar Andersson - This is a copy of the original code -
☆16Updated 11 years ago
Alternatives and similar repositories for zebra
Users that are interested in zebra are comparing it to the libraries listed below
Sorting:
- implementation of OEIS sequences☆11Updated 9 years ago
- Prediction algorithms for the PCG pseudo-random generator☆14Updated 5 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- A bignum library for C.☆33Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated 2 weeks ago
- O(n log n) In-place Stable Quicksort☆22Updated 6 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- Grain of Salt equation generator☆16Updated 3 years ago
- Encyclopedia of Combinatorial Structures☆15Updated 7 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Updated 13 years ago
- Markup source code showing optimizations☆36Updated 6 years ago
- A C11 compiler for the discrete logic computer☆21Updated last year
- Interactive proof-of-concept of the Dual_EC_DRBG backdoor☆18Updated 3 years ago
- Sort of Lambdas for gcc☆33Updated 6 years ago
- x86info : x86 processor register decoder.☆46Updated 9 months ago
- A fast AES-PRF based secure random-number generator☆21Updated 2 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 10 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated last week
- Experiments in C++: binary fuse filters vs. Bloom filters☆48Updated last year
- Solvers and makers for Pencil Puzzles☆19Updated 14 years ago
- ☆36Updated 4 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Attempt to find a brute-force solution to Tetris☆18Updated 3 years ago