- A bioinformatics tool for comparing peptide masses in
a language for privacy-preserving programming in which developers
don't get to see private data (open-source).
- CVV - verifiable
voting software based on Chaum-ballots.
- HomeOS - a mini-OS
for smart-home environments.
- Blaise - Tablet-based
grading system for writing courses (open-source).
- JWord - a "word" tool built
on top of WordNet, Roget's Thesaurus and other sources (open-source).
- Tritanium -
A compiler infrastructure for code generation.