GitHub repository: rexim/Morganey
Primary language: Scala
Description: Lambda Calculus based programming language that recognizes Church encoded structures