Proteus Project home: system for specifying, prototyping, analyzing, generating parallel software. http://wwwx.cs.unc.edu/Research/proteus/proteus.html

Khepera Transformation System Includes white papers, an abstract, and pictures, of Egyptian hieroglyphics. http://www.cs.unc.edu/%7efaith/khepera.html

MetaBeta Project Goal: design, implement meta-level interface for statically typed, compiled language BETA, to extend expressiveness of language so programs can be written for it, not just in it. Functionality depending on a language implementation is impossible or very hard to express in most languages. http://www.daimi.au.dk/~beta/Mli/mli.html