Lambda is an interactive Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda expressions representing integers are automatically defined as needed. Many interesting combinators are provided in a definition file. Various settings are provided to influence the way reduction and extraction are performed (set). A short manual is provided showing how lambda works.
TheCurves is an application that plots a parameterized family of curves based on algebraic formulas specified by the user. It is meant as an educational tool for mathematics, physics, and engineering. When the program is run as an applet in a Web page, the plot parameters and formulas are configurable by HTML and dynamically scriptable, so that the applet can be initialized to present a specific plot when the page is opened or to change plots when the user clicks on a control in the Web page.
Roster-in-a-Box is a course management system. It includes modules for auto-graded course problems (currently for introductory statistics, introductory microeconomics, and intermediate microeconomics), as well as a mechanism for students to submit answers to text questions and have the instructor grade them online. Summaries of student performance (such as student problem areas or class averages by subject) are available to both the instructor and the student in real time, and the system can send reminders to students of late homework assignments.
Units-filter is a basic standalone filter written in C, flex, and bison. It inputs strings like "1.5e3 nN.m.s^-1" (which could be the time growth ratio of a torque) and outputs the value in standard SI units, followed by the physical dimension of this value. This parser can be embedded in educational test systems, in order to analyze a student's answer to a problem of physics or chemistry.
Translation is a Web-based language teacher's tool. It allows you to add sentences and their correct translations to a database via a browser, choose from the database which sentences to 'serve' to a group or an individual student, give a header and a footer text to the prepared translation and activate it for use, and add students to the database. The students can browse to their part of Translation, log in, and do their excercise. When students have completed their task, a message is sent to them and their teacher containing the original sentences and the correct translation by the teacher and the pupil's version. The Administrator of Tranlation can add teachers to the database and modify the language.php file to the desired language, visible in the browser by everyone. It has language support for Dutch, English, German, Greek, Finnish, French, Italian, Japanese, Spanish, and Turkish.