linrock
Follow
-
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedOct 26, 2026 -
math-proofs Public
lean formalizations of erdos problems
-
Stockfish Public
Forked from official-stockfish/StockfishUCI chess engine
-
erdosproblems Public
Forked from teorth/erdosproblemsA community database for the problems on the erdosproblems.com site
Python Apache License 2.0 UpdatedOct 11, 2026 -
burning-ship-fractal Public
Visually exploring an odd fractal world
-
nnue-pytorch Public
Forked from official-stockfish/nnue-pytorchStockfish NNUE (Chess evaluation) trainer in Pytorch
C++ GNU General Public License v3.0 UpdatedApr 25, 2026 -
Ranger21 Public
Forked from lessw2020/Ranger21Ranger deep learning optimizer rewrite to use newest components
Python Apache License 2.0 UpdatedApr 19, 2026 -
blitz-tactics Public
Fast-paced chess tactics trainer
-
fishtest Public
Forked from official-stockfish/fishtestStockfish testing
-
lichess-database Public
Forked from lichess-org/databasePublic exports of all rated games, puzzles, and computer evaluations.
Scala GNU Affero General Public License v3.0 UpdatedSep 18, 2025 -
Primer Public
Forked from PGG106/PrimerStockfish Binpack to Bulletformat parser
-
bullet Public
Forked from jw1912/bulletNeural Network Trainer
-
-
chessground Public
Forked from lichess-org/chessgroundMobile/Web chess UI for lichess.org
-
-
nnue-tools Public
Linux container environment for training Stockfish NNUE
-
-
-
lc0 Public
Forked from LeelaChessZero/lc0The rewritten engine, originally for tensorflow. Now all other backends have been ported here.
C++ GNU General Public License v3.0 UpdatedJan 4, 2024 -
-
-
-
-
-
yclist Public
List and description of ycombinator companies
-
chess-puzzle-maker Public
Creates chess puzzles from chess games and positions
-
chessboard-recognizer Public
Uses neural networks to extract chess positions from images
-
ssh-tunnels Public
Visual examples and use cases for SSH tunnels
-
-
lc0-data-converter Public
For converting training data from lc0 -> stockfish nnue