usdesign

Pop	34.60
Vit	2.70

Datamaster is a set of utilities that generates databases and customizable Web applications automatically from (executable) UML class diagrams.

Pop	20.78
Vit	2.04

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.