Popular repositories Loading

1. cuckoo cuckoo Public

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

   C++ 838 173

2. AIT AIT Public

   Algorithmic Information Theory, using Binary Lambda Calculus

   Haskell 172 16

3. ChessPositionRanking ChessPositionRanking Public

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

   Haskell 169 8

4. equihash equihash Public

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

   C++ 154 78

5. golegal golegal Public

   count number of legal positions in the game of go

   TeX 104 12

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

   John Tromp homepage

   HTML 25 5