Daniel Patterson

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. Haskell

rustle. OUTOFDATE: a rust api search, inspired by hoogle

heist-async. Asynchronous page updates for heist

rustrepl. A simple repl for rust

isl-spec. Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck

literatecoq. Coq

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

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

migrate. Haskell

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.

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

thistle. Haskell

snap-testing. DEPRECATED IN FAVOR OF HSPEC-SNAP

website. HTML

digestive-functors. A general way to consume input using applicative functors

docker-ubuntu-halcyon.

rivet-old. DEPRECATED

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

snap-less. Less CSS for Snap

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

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

positionsites. JavaScript

heroku-test.

littlecity. Ruby

pnp. Lecture notes for a short course on proving/programming in Coq via SSReflect.

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

gradescope-racket. Infrastructure to autograde Racket code on Gradescope

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

django-tastypie. Creating delicious APIs for Django apps since 2010. Beta-quality. v0.9.9

mealstrat. Haskell

rust. a safe, concurrent, practical language

digestive-functors-heist. Heist Frontend for Digestive Functors

analyze-client. Client for analyze service

rivet. A database migration library for Haskell

TipTip. Intelligent ToolTip jQuery Plugin

snap-website. Snapframework.com source code

snap-extension-mongodb. Easy MongoDB integration for Snap applications

heroku-snap-example. Haskell

reqwest. A robust lightweight wrapper for asynchronous http requests