Featured

Lambda Calculus

Software

Calculus

AsramSoftware

Useful calculator that besides the usual converting functions (Temperature...

Calculus is a useful calculator

free

William Jockusch

Free Graphing Calculator 2 is a complex calculator for your Mac. Therefore, the app provides...

and integral calculus, geometry, trigonometry, vectors, vector calculus, and classical

free

Missing Socks Company

Graphulator With Calculus is a numerical graphing calculator for 2 or 3 variable equations...

Graphulator With Calculus is a numerical graphing...which can perform calculus on non-functions

free

Jeroen Ketema

Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting...

graphs of terms in lambda calculus and term rewriting. Anagopos

free

Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford

The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice...

The Lambda Calculator is an interactive...derivations in the typed lambda calculus. It is designed

com.fluidapp

com.codeweavers

com.magiccfg

Google

com.tt

Mike Thyer

free

Missing Socks Company

Graphulator for Desktop is a numerical graphing calculator for 2 or 3 variable equations...

independently. It can perform calculus on non-functions numerically