some code using ur/web, a language/web framework based on dependent types (ie, Coq, Agda, etc) - a login mechanism with salting — http://www.impredicative.com/ur/
there don't seem to be any issues for this project.