LCI is an interpreter for the lambda calculus. It supports many advanced features like recursion, user-defined operators and multiple evaluation strategies, all based on the pure calculus.

The owner is chatziko