John Tromp

Algorithmic Information Theory, using Binary Lambda Calculus

tromp

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

tromp

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

tromp

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

tromp

count number of legal positions in the game of go

tromp

Fhourstones solver equipped with 8x8 solving book

tromp

John Tromp homepage

tromp