Very hard chess testset
☆15Oct 22, 2016Updated 10 years ago
Alternatives and similar repositories for PoorFish
Users that are interested in PoorFish are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Chess Query Engine☆172Jul 22, 2021Updated 5 years ago
- ☆23Jan 4, 2017Updated 9 years ago
- ☆12Jun 17, 2022Updated 4 years ago
- Tools to check the mate finding capabilities of chess engines, used to track the evolution of Stockfish mate finding effectiveness☆51Updated this week
- ☆41Sep 18, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- UCI chess engine☆12Updated this week
- Chess Engine☆25Apr 19, 2020Updated 6 years ago
- datatochart.com☆12Mar 29, 2025Updated last year
- Maia Chess platform: human-like chess AI for play, analysis, training, and more.☆70Jun 10, 2026Updated 4 months ago
- LLVM's loop analysis theory (Scalar Evolution) formalized in Coq☆10Nov 17, 2018Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- ChessDB☆82Aug 30, 2026Updated 2 months ago
- ☆18Sep 27, 2024Updated 2 years ago
- A lambda calculus parser, evaluator and repl☆12Oct 30, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- From Below. A homebrew game for the NES released in 2020.☆27Sep 20, 2022Updated 4 years ago
- ☆12Sep 27, 2022Updated 4 years ago
- An online chess opening book from ChessDB.☆11Aug 5, 2019Updated 7 years ago
- *slaps roof of source code* this bad boy can fit so many bugs in it☆12Jul 17, 2018Updated 8 years ago
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years ago
- Simple repo to finetune an LLM hosted on Hugging Face by creating a LORA☆11Dec 20, 2023Updated 2 years ago
- Generative miniprotein binder design in four self-contained Colab notebooks.☆14Jul 26, 2025Updated last year
- A graph tutorial website☆13Mar 5, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- made for premed students to help them with mcat concept learning and practice...☆18Jan 19, 2026Updated 9 months ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 9 years ago
- Téléchecs☆12Oct 2, 2026Updated 3 weeks ago
- Tool in HTML/Javascript where you can investigate each part of Stockfish static evaluation function☆32Dec 7, 2024Updated last year
- Wikimedia Commons export plugin for darktable☆15Oct 15, 2026Updated 2 weeks ago
- ☆13Oct 24, 2018Updated 8 years ago
- An amateur attempt at breeding a chess-playing AI.☆13Jul 17, 2026Updated 3 months ago
- Locally proxies a specific Discord build on your local machine☆17Oct 9, 2022Updated 4 years ago
- 15k open math problems, linked to their sources.☆28Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Chess: Train your NNUE network with the Cerebrum library☆24Nov 30, 2025Updated 11 months ago
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- A lightweight yet full-featured package for handling events from the terminal.☆11Aug 21, 2023Updated 3 years ago
- ☆14Oct 13, 2010Updated 16 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- Fit a chess Win-Draw-Loss model from played games☆37Sep 27, 2026Updated last month
- ☆12Jul 21, 2010Updated 16 years ago