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 2 years ago
- A bignum library for C.☆33Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- Prediction algorithms for the PCG pseudo-random generator☆13Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 13 years ago
- O(n log n) In-place Stable Quicksort☆20Updated 4 months ago
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 weeks ago
- The GNU Superoptimizer☆27Updated 11 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆19Updated last week
- Busy Beaver deciders backed by Coq proof☆58Updated 9 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆47Updated 2 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated 2 years ago
- A research platform and active library for generalised SAT solving☆33Updated 6 months ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- ☆22Updated 2 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Updated last month
- Grain of Salt equation generator☆16Updated 3 years ago
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago
- Fuzzing compression libraries☆20Updated 9 years ago
- x86info : x86 processor register decoder.☆46Updated 7 months ago
- LODA Programs for Integer Sequences☆37Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 8 years ago