systems and projects
DIVE -- multi-user
Parlevink -- applications
Jinni -- logic-based
Alice -- scripting
VHML -- mark up