t-dillon / tdokuView external linksLinks
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
☆255Jul 16, 2024Updated last year
Alternatives and similar repositories for tdoku
Users that are interested in tdoku are comparing it to the libraries listed below
Sorting:
- The Rust sudoku library☆97Dec 4, 2023Updated 2 years ago
- Fast Simple Sudoku Solver 2☆17Sep 28, 2019Updated 6 years ago
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- Advanced commands to apply regular expressions.☆14Nov 12, 2024Updated last year
- Generate WWVB timecodes for any desired time☆10Sep 8, 2025Updated 5 months ago
- A fast compressor/decompressor☆16Nov 18, 2024Updated last year
- ☆16May 28, 2018Updated 7 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- Fast automated solver for Flow Free in a single C or Python file.☆58Nov 23, 2022Updated 3 years ago
- Structured BVA☆42Apr 26, 2024Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 10 months ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- :+1: ottosocial is a CLI to schedule tweets via CSV☆24Mar 20, 2021Updated 4 years ago
- SSH Man In The Middle proxy with credentials interception, asciinema session replay, ...☆23Apr 10, 2017Updated 8 years ago
- An old and good virtual keyboard☆18Sep 16, 2025Updated 4 months ago
- Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.☆19Dec 16, 2020Updated 5 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Why can't the 6502 virtualize itself? Good question.☆21May 15, 2024Updated last year
- A minimal Forth VM and Compiler implemented in PostScript☆29Apr 7, 2011Updated 14 years ago
- Collection of interpreters for esoteric programming languages☆15Jul 10, 2021Updated 4 years ago
- Baker's COMFY compiler for the 6502 ported to Common Lisp☆31Jan 3, 2011Updated 15 years ago
- ☆22Oct 7, 2025Updated 4 months ago
- Portable high-level assembler with authentic C syntax☆25Jul 1, 2022Updated 3 years ago
- A fast sudoku solver☆53Jun 12, 2017Updated 8 years ago
- Console application to create, solve, and play sudoku.☆24Jun 12, 2021Updated 4 years ago
- An esoteric programming language☆34Nov 16, 2020Updated 5 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- A MATLAB function library containing encoders, decoders and weight enumerators for Reed-Muller codes.☆11Aug 19, 2023Updated 2 years ago
- Provides a simple macro to make readable anonymous functions in Julia☆31Jan 9, 2021Updated 5 years ago
- ☆10Apr 20, 2022Updated 3 years ago
- UCI chess engine using neural networks for position evaluation☆129Jan 27, 2026Updated 2 weeks ago
- performance results/benchmarks for a variety of machines☆32Feb 12, 2025Updated last year
- ☆14May 10, 2025Updated 9 months ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Documentation for Whitepages Pro. Includes API and Pro Web automation documentation.☆11Jul 23, 2018Updated 7 years ago