5 open source projects by tromp

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

count number of legal positions in the game of go

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

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

John Tromp homepage