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/
adding needed linking flag to prevent compile errors involving mhash on current urweb
working finally! important part is building the library properly (oh C...)