Advertisement
Visual Lambda
Visual environment for manipulation the lambda calculus expressions...
manipulate calculus lambda manipulate calculus expression lambda calculus manipulation
Lambda Calculator
Enter a lambda expression and reduce it to normal form...
expression calculator expression reduce lambda reduce expression
Calculus
Calculator with currency-converting capabilities....
The Penn Lambda Calculator
A free software to typed lambda calculus...
calculate math calculator practice lambda practice lambda calculus
Calculus Grapher
Draw a function and see graphs of its integrals and derivative...
GC Calculus
Calculates the size of various heap segments...
Event Calculus Simulator
Simulates the effects of margin calls on a market...
PetitLambda
PetitLambda - Free interpreter of lambda calculus...
interpreter lambda calculus interpreter interpret lambda calculus lambda term reduction lambda calculus
PyChurch
A free and open-source Python module specially designed to help you experiment with the lambda calculus......
extract extract variable lambda calculus calculus calculus library
Anagopos
Visualize reduction graphs of terms in lambda calculus and term rewriting...