Lamb An implementation of Colin James' "Compiling Lambda Calculus". Source: compiling-lambda-calculus