David Van Horn David Van Horn

Tracking 3.5K commits to 74 open source packages


Homepage: ter.ps/dvanhorn

Location: Washington, DC


Repositories

dvanhorn/redex-aam-tutorial
An Introduction to Redex with Abstracting Abstract Machines
Racket - Last pushed - 63 stars - 10 forks
dvanhorn/dpc
Designing Programs with Class
Racket - Last pushed - 21 stars - 1 forks
dvanhorn/oaam
Optimizing Abstract Abstract Machines
Racket - Last pushed - 23 stars
dvanhorn/pcf
PCF with Contracts and Symbolic Values
Racket - Last pushed - 16 stars - 2 forks
dvanhorn/ralist
RaList: Purely Functional Random-access Lists for Racket.
Racket - Last pushed - 7 stars - 4 forks
dvanhorn/backgammon
Rackgammon: Backgammon for Racket
Racket - Last pushed - 1 stars
See all David Van Horn's repositories

Repositories Contributed To

samth/var
Verification via Abstract Reduction
Racket - Last pushed - 4 stars - 1 forks
philnguyen/soft-contract
A prototype of soft contract verification for an untyped functional language
Racket - Last pushed - 13 stars - 7 forks
takikawa/racket-ppa
Ubuntu PPA packaging for Racket (based on http://anonscm.debian.org/gitweb/?p=collab-maint/racket...
Racket - Last pushed - 0 stars
deeglaze/temporal-aam
Racket - Last pushed - 1 stars
agocke/racket
Racket clone for random contract testing
Racket - Last pushed - 3 stars - 1 forks
gmarceau/PLT
Racket - Last pushed - 2 stars
See all David Van Horn's contributions

Published Packages

ralist
Purely Functional Random Access Lists
Latest release - Published - 7 stars
pcf
PCF with Contracts and Symbolic Values
Latest release - Published - 16 stars
fector
Persistent Functional Vectors
Latest release - Published - 6 stars
See all David Van Horn's packages

Last synced: 2016-04-26 01:06:34 UTC

Login to resync this page