45 Write an interpreter for the untyped lambda calculus 2011-01-31T14:11:06.710
22 Optimizing SKI compiler 2015-07-16T18:27:25.037
20 Convert λ-expressions to SK-expressions 2017-03-05T23:51:13.323
15 SKI calculus golf: Half of a Church numeral 2020-02-02T23:15:22.153
9 Visualize Church numerals 2016-05-29T20:32:38.777
8 Sort a list of numbers on the λ-calculus 2015-08-24T05:40:55.840
6 Convert between Lambda Calculus Notations 2017-02-14T07:05:41.950
4 λ-calculus to js arrow notation transpiler 2017-03-15T22:50:54.710