Popular repositories Loading

1. cuckoo cuckoo Public

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

   C++ 822 173

2. equihash equihash Public

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

   C++ 152 80

3. ChessPositionRanking ChessPositionRanking Public

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

   Haskell 139 7

4. AIT AIT Public

   Algorithmic Information Theory, using Binary Lambda Calculus

   Haskell 134 14

5. golegal golegal Public

   count number of legal positions in the game of go

   TeX 99 11

6. tromp.github.io tromp.github.io Public

   John Tromp homepage

   HTML 21 5