Fletcher Stump Smith's repositories
snacktory
Readability clone in Java
Language:HTML000
goose
Html Content / Article Extractor in Scala - open sourced from Gravity Labs - http://gravity.com
Language:ScalaApache-2.0000
MIT000
MSAN622_homework
Some sample graphs in D3
Language:HTML000
Language:Python000
Coq-Exercises
Various things I've writen up in Coq.
Language:Coq000