Advertisement
Sub::Lambda
Sub::Lambda is a syntactic sugar for lambdas in Perl....
Lambda
Lambda project is a Lambda calculus interpreter....
interpreter calculus lambda calculus interpreter lambda expressions
lambda-gtk
λgtk is a cross-platform Lisp interface to the complete GTK+2 family of shared libraries....
A practical lambda-calculator
A practical lambda-calculator is a Lambda-calculator with convenient commands and shortcuts....
Python lambda calculus module
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus....
PetitLambda
PetitLambda is an interpreter of lambda calculus....
interpreter calculus lambda calculus lambda interpreter lambda terms