hub.darcs.net :: dbp

dbp's repositories

• amazon-emailer — A simple queue processor for sending with amazon's SES; queue is postgres table
• dbmigrations — Fork to get dependencies up to date
• dbpmail — Personal website (http://dbpmail.net)
• dnplayer — See github.com/dbp/dnplayer (http://lab.dbpmail.net/dn/)
• latinamerica — See github.com/dbp/latinamerica
• menu — A simple menu app
• providerproject
• urweb-experiments — 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/)