Lambda calculus with Church encoding in C (opens in new tab)

Wow, that is really impressive! Unfortunately, this means lots of work for the C preprocessor (and the C compiler, then) at compile time. But it's cool that it works this way at all.