Alan Sherman's Projects: Educational computing