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:
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated 2 years ago
- A bignum library for C.☆33Updated last year
- Turn an interpreter into a code generator☆31Updated 10 years ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Leela - a Go program combining Monte Carlo simulations and Neural Networks.☆69Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- A research platform and active library for generalised SAT solving☆33Updated 4 months ago
- Prediction algorithms for the PCG pseudo-random generator☆13Updated 4 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 4 months ago
- O(n log n) In-place Stable Quicksort☆20Updated 3 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Fork of Adobe/Mozilla lightweight library for generating machine code from C++☆35Updated 15 years ago
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- Debugger in the Trepan family for x-python☆16Updated 3 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Graphical interface for the Leela Go program.☆36Updated 4 years ago
- ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable☆29Updated 2 years ago
- Efficiently Updatable Neural-Network-based evaluation functions for computer shogi☆49Updated 7 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- Sort of Lambdas for gcc☆33Updated 6 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- ☆20Updated 2 years ago
- Documentation☆44Updated last week
- Linux kernel library functions formally verified.☆52Updated 4 years ago