John Tromp

cuckoo. a memory-bound graph-theoretic proof-of-work system

AIT. Algorithmic Information Theory, using Binary Lambda Calculus

ChessPositionRanking. Software suite for ranking chess positions and accurately estimating the number of legal chess positions

equihash. multi-parameter Equihash proof-of-work multi-threaded C solvers

golegal. count number of legal positions in the game of go

tromp.github.io. John Tromp homepage

fhourstones88. Fhourstones solver equipped with 8x8 solving book

hs2blc. Haskell -> BLC translator

b1fipl. A Bestiary of Single-File Implementations of Programming Languages

AoC2024. Haskell

grin-miner. Standalone miner for grin

grin-rfcs. Grin Requests for Comments

AoC2025. Haskell

grin_mining_sim. Grin mining Monte Carlo simulation

cryptotools. Python

splean. Splean solver approach to Cuckatoo Cycle PoW

grin. Minimal implementation of the MimbleWimble protocol.

hello-world. Hello world in every programming language. Thanks to everyone who contributes to this, I read all pull requests!