P#: a concurrent Prolog for the .NET framework.
Building KidPad: an application for children's collaborative storytelling.
Code optimizations for a VLIW-style network processing unit.
A little language for modularizing numerical PDE solvers.
Optimizing precision overhead for x86 processors.