Give AlbumentationsX a star on GitHub — it powers this leaderboard
Implementations of several variants of the lambda calculus.