Popular repositories Loading

1. cuckoo cuckoo Public

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

   C++ 822 172

2. ChessPositionRanking ChessPositionRanking Public

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

   Haskell 153 7

3. equihash equihash Public

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

   C++ 151 80

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 100 11

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

   John Tromp homepage

   HTML 21 5