LambdaCan is a small Lambda Calculus reducer (interpreter) designed to run both on UNIX systems and on microcontrollers with only 1KB of RAM. (Source: http://freecode.com/)