A friend of me implemented a lambda evaluator that he used to teach various concepts in the lambda calculus (https://srtobi.github.io/lambda/docs/).

You can find examples here: https://github.com/SrTobi/lambda/blob/master/stddef/stddef.l...