39 Write an interpreter for the untyped lambda calculus 2011-01-31T14:11:06.710

21 Optimizing SKI compiler 2015-07-16T18:27:25.037

16 Convert λ-expressions to SK-expressions 2017-03-05T23:51:13.323

9 Visualize Church numerals 2016-05-29T20:32:38.777

7 Convert between Lambda Calculus Notations 2017-02-14T07:05:41.950

5 Sort a list of numbers on the λ-calculus 2015-08-24T05:40:55.840

4 λ-calculus to js arrow notation transpiler 2017-03-15T22:50:54.710