rcdickerson
PhD student at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.
Purdue University
rcdickerson's Stars
xian/great-expectations
Jasmine-style expectations for Java
robolectric/robolectric
Android Unit Testing Framework
rcdickerson/hasicp
Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.