The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice. The primary function is to assist in the computation of natural language denotations up a syntactic tree in the style of Heim & Kratzer (1998). To this end, the program detects common errors and attempts to provide intelligent feedback to the student user and a record of performance for the instructor.
With Gapminder Desktop you can show animated statistics from your own laptop!
This tool offers you info about app development on Windows 8.
A 3D Solar System simulator for your Mac.
Countries and Capitals is a game that helps you memorize countries and capitals.
A tutor to increase typing speed and accuracy by training your muscle memory.
Preschool Animal Match is a lovely memory game for preschoolers.
Comments