Dubbed "lambda-calculus without the lambda operator", an functional language based on SKI-combinator calculus with eager evaluation. Though not purely functional in the usual sense, it is described as purely functional in the sense that functions are the only objects.
Unlambda to D compiler (mostly functional – pardon the pun!)