GitHub repos by tromp
5 public repos by tromp in the catalog, most starred first.
- tromp/cuckooStars: 865C++Beta
- tromp/AITStars: 213HaskellPrototype
- tromp/ChessPositionRankingStars: 183HaskellPrototype
- tromp/equihashStars: 156C++Prototype
- tromp/golegalStars: 104TeXPrototype