Give AlbumentationsX a star on GitHub — it powers this leaderboard
Source Code for 'Practical TLA+' by Hillel Wayne