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 last year
- A bignum library for C.☆33Updated last year
- O(n log n) In-place Stable Quicksort☆19Updated this week
- Open source library to handle integers of any size in C☆14Updated 2 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆12Updated this week
- Brainfuck interpreter written in jq -- This is the proof that jq is turing-complete!☆41Updated 10 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆18Updated last month
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Project Euler Explained, codes used to solve Project Euler problems☆10Updated 3 weeks ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- mirror of Fabrice Bellard's libbf tar releases☆14Updated 2 years ago
- Resurrecting PP-BESM☆26Updated 2 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- A Windows program to search for cellular automata patterns☆16Updated 12 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- implementation of OEIS sequences☆11Updated 8 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- CNF minimizer and minimal independent set minimizer☆19Updated this week
- Busy Beaver deciders backed by Coq proof☆53Updated 5 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Here we give programs that check if Turing machines halt or not.☆14Updated 5 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 month
- Markup source code showing optimizations☆36Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated 11 months ago
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated last year
- Experiments in C++: binary fuse filters vs. Bloom filters☆50Updated 8 months ago