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:
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- A bignum library for C.☆33Updated last year
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- GPL Number Field Sieve implementation☆36Updated 14 years ago
- Project Euler Explained, codes used to solve Project Euler problems☆10Updated last month
- O(n log n) In-place Stable Quicksort☆20Updated 3 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated 2 weeks ago
- A research platform and active library for generalised SAT solving☆32Updated 2 months ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Resurrecting PP-BESM☆26Updated 2 years ago
- y-cruncher's Digit Viewer☆49Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 11 years ago
- Experiments in C++: binary fuse filters vs. Bloom filters☆50Updated 8 months ago
- Solvers and makers for Pencil Puzzles☆19Updated 13 years ago
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!☆42Updated 10 years ago
- Fuzzing compression libraries☆19Updated 9 years ago
- Grain of Salt equation generator☆16Updated 3 years ago
- Oblivious Memory Access under Fully Homomorphic Encryption☆13Updated 10 years ago
- Attempt to find a brute-force solution to Tetris☆18Updated 3 years ago
- Puzzle game: connect all terminals to the server☆20Updated 4 years ago