Projects
-
Manifold: a program for creating paper fold-up models
-
smpcc: a compiler for multiparty computation
-
nevermore: an Emacs mail client
-
EyeDecrypt: Visualizable encryption. Demo
-
Yakker: a tool for parsing
-
DXQ: distributed query language
-
BEEP:
prevent script injection attacks
-
Cyclone:
program in a safe C dialect
-
SD3:
manage distributed security policies and digital certificates
-
QCM:
the original distributed trust management system
-
SEDNS:
working towards a more secure Domain Name System
-
SML/NJ:
compiler for Standard ML
-
Unison:
synchronize files between Unix and Windows
-
Make.text: convert web pages into
Markdown notation
-
Ocamldot: draw program dependency
graphs for Ocaml programs