dvanhorn/cmsc631-notes
Course notes
Developer Profile
dvanhorn
Discovered public repositories for dvanhorn in the GitHub catalog.
dvanhorn/cmsc631-www
Web page for UMD CMSC631
dvanhorn/popl-events
Web page for POPL events
dvanhorn/eqil
Interpreter and Abstract Interpreter for Coq Intermediate language
dvanhorn/icfp-www
ICFP web page
dvanhorn/pcf
PCF with Contracts and Symbolic Values
dvanhorn/LambdaS5
Semantics for ES5
dvanhorn/oaam
Optimizing Abstract Abstract Machines
dvanhorn/alixlabich
Public repository.
dvanhorn/play
Public repository.
dvanhorn/dpc
Designing Programs with Class
dvanhorn/var
Verification via Abstract Reduction
dvanhorn/jam
JavaScript Abstract Machine and Analysis
dvanhorn/backgammon
Rackgammon: Backgammon for Racket
dvanhorn/typed-student
Typed Student: typed languages and libraries for HtDP
dvanhorn/ralist
RaList: Purely Functional Random-access Lists for Racket.
dvanhorn/fector
Fector: Functional Persistent Vectors in Racket
dvanhorn/snake
The Snake Game