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