Skip to content


  • Arctic Code Vault Contributor
  • Pro


@plum-umd @CCIS-2510H @nuprl @cmsc430

Popular repositories

  1. An Introduction to Redex with Abstracting Abstract Machines

    Racket 85 12

  2. oaam Archived

    Optimizing Abstract Abstract Machines

    Racket 27

  3. Designing Programs with Class

    Racket 22 1

  4. PCF with Contracts and Symbolic Values

    Racket 17 2

  5. Small Scheme interpreter and compiler

    OCaml 12 1

  6. RaList: Purely Functional Random-access Lists for Racket.

    Racket 10 4

534 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2020

dvanhorn has no activity yet for this period.

September 2020

17 contributions in private repositories Sep 3 – Sep 17

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.