A collection of applications developed using smten