Next-Generation Web User Interfaces

Prooftoys: Web-based user interface for mathematical reasoning

Instantly build mathematical proofs using natural deduction and higher-order logic. Hosted at the Prooftoys web site.


Macroformats apply the microformats approach to describing a designer's intentions for the appearance of a page. Expand is a high-performance client-side engine that supports designers in creating and using libraries of design components specified with microformats, including boxes and layouts.

The implementation of Expand is open source and available for download.

Ajax Resources


Other Computing Downloads and Information

Personal and Family

More topics of interest to various members of our family.

Contact Cris