t-dillon / tdokuLinks
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
☆230Updated last year
Alternatives and similar repositories for tdoku
Users that are interested in tdoku are comparing it to the libraries listed below
Sorting:
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- A LaTeX Typesetting Game☆255Updated 4 months ago
- Automated generation of planar geometry olympiad problems☆95Updated 2 years ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆325Updated last year
- Software suite for ranking chess positions and accurately estimating the number of legal chess positions☆167Updated last year
- Skill estimation systems for multiplayer competitions☆204Updated 5 months ago
- Gigantua: Single Threaded - 2 Billion Moves/s Chess position enumerator☆138Updated 3 years ago
- FLINT (Fast Library for Number Theory)☆525Updated this week
- ☆45Updated 4 years ago
- Predicts the best chess move with 27.5% accuracy by a single matrix multiplication☆96Updated 4 years ago
- The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)☆49Updated 10 years ago
- An online math contest platform☆21Updated 4 months ago
- Rustic is a chess engine. It is written from scratch in the Rust programming language.☆156Updated 3 weeks ago
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- A branchless unstable quicksort / mergesort that is highly adaptive.☆331Updated last year
- Olympiad problem database☆53Updated last week
- metamath proof enumerators and other things☆94Updated last year
- Kattis online judge command line tool☆56Updated 2 months ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆43Updated last week
- Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves tha…☆52Updated last month
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- An interactive conic visualization app used to record this video.☆185Updated 5 years ago
- A minimalistic and high-performance SAT solver☆146Updated 3 years ago
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆103Updated 3 years ago
- Java implementations of sequences in the OEIS☆65Updated this week
- Convergence verification of the Collatz problem☆67Updated last week
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Results of the Tiny Chess Bot Challenge☆128Updated last year
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- A Python library for creating and solving mazes.☆259Updated 5 months ago