Try the lambda calculus!
Home Page:http://trylambda.com/
Repository from Github https://github.comisomorphism/trylambdaRepository from Github https://github.comisomorphism/trylambda
http://trylambda.com/