APL Compiler targeting a typed array intermediate language
melsman
Generic package manager for Standard ML libraries and programs
diku-dk