A combinator reduction evaluator with a translator from lambda calculus to combinators. The creative part was getting a C compiler to parse combinator expressions with the traditional syntax, where function application does not have an operator and is left-associative, like S K K. http://www.ioccc.org/years.html#1998_fanf
replies(1):