dbp's repositories

• darcsden — how meta. http://darcsden.com/
• dsnp — Distributed Social Networking Protocol implementation (beginnings) http://www.complang.org/dsnp/
• housetab — a small webapp to share collective expenses in a house - single account version
• housetab-multi — a webapp to manage expenses between a group of friends. http://housetab.org
• musicstore — a webapp for selling music online - written in OCaml, using Ocsigen
• remind — reminder application, uses a logarithmic falloff to time reminder emails http://lab.dbpatterson.com/remind/
• tutee-record — a small webapp built in ocaml with ocsigen to record work.
• website — source for dbpatterson.com http://dbpatterson.com
• kts
• 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/
• ocscheme — toy scheme interpreter written in ocaml