Discover @dbp Open Source projects

Daniel Patterson (@dbp)

dbp

Stars
240
Global Rank 106,717 (Top 4 %)
Followers 92
Registered almost 14 years ago
Most used languages

Haskell
51.6 %

JavaScript
19.4 %

Coq 9.7 %

Rust
9.7 %

Racket
3.2 %

Python
3.2 %

Ruby
3.2 %
Location 🇺🇸 United States
Country Total Rank 24,941
Country Ranking

Coq 21

Racket
192

Haskell
404

Rust
2,425

sublime-rust

DEPRECATED: see rust-lang/rust-enhanced (new maintainer)

howtoproveacompiler

Writeup that goes along with this:

funtal

FunTAL: mixing a functional language with assembly.

howtoprovefullabstraction

Writeup that goes along with this:

hspec-snap

rustle

OUTOFDATE: a rust api search, inspired by hoogle

heist-async

Asynchronous page updates for heist

rustrepl

A simple repl for rust

literatecoq

isl-spec

Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck

email-postmark

Basic haskell wrapping around the email service Postmark (http://postmarkapp.com)

migrate

rustfmt

A standalone binary to do rust pretty printing. A wrapper around code from libsyntax.

shoebox

Shoebox: a durable repository for human-scale collections of files, like the shoebox full of old letters and family photos discovered 50 years later.

amazon-emailer

A simple daemon to process messages put into a postgresql table and mail them out using amazons SES.

thistle

rivet-old

digestive-functors-snap-heist

DEPRECATED: Backend for digestive-functors built to work with the heist frontend

snap-testing

DEPRECATED IN FAVOR OF HSPEC-SNAP

dnplayer

A simple player for Democracy Now! that remembers where you are.

snap-logging-mongodb

Simple logging for Snap applications - does both time to generate pages and access counts by user

docker-ubuntu-halcyon

housetab-legacy

A shared expense tracking system, online at http://housetab.org

heroku-snap-example

positionsites

heroku-test

shed

A from-scratch re-implementation of Perkeep, now abandoned in favor of

pyret-tc

A type checker for the Pyret programming language

littlecity

captcha

analyze-client

Client for analyze service

website

digestive-functors-heist

Heist Frontend for Digestive Functors

mealstrat

heroku-test-housetab