GitHub repository: tarao/LambdaJS
Primary language: JavaScript
Description: An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.