Khepera Transformation System - Includes white papers, an abstract, and pictures, of Egyptian hieroglyphics. - http://www.cs.unc.edu/~faith/khepera.html
Proteus - Project home: system for specifying, prototyping, analyzing, generating parallel software. - http://wwwx.cs.unc.edu/Research/proteus/proteus.html