Advertisement
Python lambda calculus module
Python lambda calculus module project is a simple but full-featured module for exploring lambda calculus....
Discrete Event Calculus Reasoner
Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning....
event calculus Commonsense Reasoning Discrete event calculus
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....
Ghost Diagrams
Ghost Diagrams is a program that takes sets of tiles and tries to find patterns into which they may be formed....
PetitLambda
PetitLambda is an interpreter of lambda calculus....
interpreter calculus lambda calculus lambda interpreter lambda terms