• fork
• changes
• patches
• issues

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/

#include "types.h"

uw_Basis_string uw_Hash_sha512(uw_context ctx, uw_Basis_string str);