tromp / fhourstones88
Fhourstones solver equipped with 8x8 solving book
☆15Updated 8 years ago
Related projects: ⓘ
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆20Updated 3 years ago
- The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)☆46Updated 9 years ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆97Updated last month
- Busy Beaver deciders backed by Coq proof☆35Updated last month
- An esoteric programming language based on Rubik's Cubes☆28Updated 6 years ago
- Fractran interpreter in Fractran☆32Updated 9 years ago
- Fork of https://github.com/niklasf/fishnet Supports variants playble on https://www.pychess.org☆10Updated this week
- Adds the soothing voice of Dmitri Komarov and other great chess masters to lichess.org (Google Chrome extension / Firefox Add-on)☆63Updated 5 months ago
- Frontend of https://bbchallenge.org☆11Updated this week
- ☆10Updated this week
- A two-dimensional programming language.☆54Updated 8 years ago
- A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx☆10Updated 5 months ago
- Tablebase and Engine for Dōbutsu Shōgi☆17Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆31Updated 2 weeks ago
- Fast automated solver for Flow Free in a single C or Python file.☆47Updated last year
- SPSA Tuner for Stockfish Chess Engine☆19Updated 7 years ago
- ☆11Updated 2 years ago
- Golly, a Game of Life simulator☆49Updated 12 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆46Updated 10 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆76Updated 5 years ago
- Connect Four AI and Engine☆22Updated 3 years ago
- The Design of Bitboards for use in Connect Four☆62Updated 2 years ago
- C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.☆32Updated last year
- A Free World Class High Performance SAT Solver☆20Updated 3 years ago
- A brainfuck (http://en.wikipedia.org/wiki/Brainfuck) self-interpreter. That is - a brainfuck interpreter, in brainfuck.☆15Updated 11 years ago
- Allie: A UCI compliant chess engine☆104Updated 3 years ago
- The Esoteric File Archive☆95Updated 3 months ago
- Laser, a UCI-compliant chess engine.☆57Updated 5 years ago
- TeaScript 3, the JavaScript golfing language☆19Updated 8 years ago
- JavaScript applets with interactive Rubik's Cube-like puzzles.☆16Updated last year