Star AlbumentationsX on GitHub — it powers this leaderboard
sharkdp/purescript-gametree
Algorithms for two-player zero-sum games