Pinned Repositories
AIT
Algorithmic Information Theory, using Binary Lambda Calculus
b1fipl
A Bestiary of Single-File Implementations of Programming Languages
ChessPositionRanking
Software suite for ranking chess positions and accurately estimating the number of legal chess positions
cuckoo
a memory-bound graph-theoretic proof-of-work system
equihash
multi-parameter Equihash proof-of-work multi-threaded C solvers
fhourstones88
Fhourstones solver equipped with 8x8 solving book
golegal
count number of legal positions in the game of go
grin-miner
Standalone miner for grin
hs2blc
Haskell -> BLC translator
tromp.github.io
John Tromp homepage
tromp's Repositories
tromp/cuckoo
a memory-bound graph-theoretic proof-of-work system
tromp/equihash
multi-parameter Equihash proof-of-work multi-threaded C solvers
tromp/ChessPositionRanking
Software suite for ranking chess positions and accurately estimating the number of legal chess positions
tromp/AIT
Algorithmic Information Theory, using Binary Lambda Calculus
tromp/golegal
count number of legal positions in the game of go
tromp/tromp.github.io
John Tromp homepage
tromp/fhourstones88
Fhourstones solver equipped with 8x8 solving book
tromp/hs2blc
Haskell -> BLC translator
tromp/b1fipl
A Bestiary of Single-File Implementations of Programming Languages
tromp/grin-miner
Standalone miner for grin
tromp/cryptotools
tromp/grin
Minimal implementation of the MimbleWimble protocol.
tromp/grin-rfcs
Grin Requests for Comments
tromp/grin_mining_sim
Grin mining Monte Carlo simulation
tromp/difficulty
tromp/docs
Documentation for Grin and Mimblewimble
tromp/grin-wallet
Grin Wallet
tromp/hello-world
Hello world in every programming language. Thanks to everyone who contributes to this, I read all pull requests!
tromp/pawn-bfs
A breadth-first enumeration of all reachable chess diagrams
tromp/site
Website for MimbleWimble and Grin development