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.
Asymptopia Flashcard System uses Motif and LaTeX to produce, manage, and use attractively formatted flashcards. You load some or all of your "collections" and set the timer for pop-up frequency. The GUI interface and "Collection Manager" make creating and modifying flashcards as simple as pushing a single button. A knowledge of LaTeX is only required when entering special symbols.
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.
IMathAS (Internet Mathematics Assessment System) is a Web-based math testing and homework system. It is a light course/learning management system and testing system, similar to and inspired by WebWork and WIMS, and similar to textbook-bundled systems like iLrn and MathXL. It requires a browser with MathML and SVG support such as Firefox 1.5 or IE6 with plugins.
Pulga is a program for numerical simulation of dynamical systems. It is designed to provide a way for students and researchers who study dynamical systems to model them on a computer and analyze them numerically without the difficulty of traditional computer programming languages.
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.
Mathnetics is an API for creating advanced, interactive, Web-based mathematical applications. It defines various important mathematical objects that are inter-related and on which many numerical calculations can be done. It also features rendering of 3D objects onto an SVG canvas (to do so, it includes certain utilities such as browser sniffing, DOM node selection, and DOM readiness detection), which is quite robust. A few basic 3D objects are given (Line, Sphere, Cube), but the user can define any 3D object desired as per the specification.