Give AlbumentationsX a star on GitHub — it powers this leaderboard
Playing with TLA+ and count-based incremental view maintenance