David Van Horn (@dvanhorn)
github

dvanhorn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    225
  • Global Rank 112,351 (Top 4 %)
  • Followers 209
  • Following 65
  • Registered almost 15 years ago
  • Most used languages
    Racket
         78.6 %
    OCaml
         7.1 %
    Standard ML     7.1 %
    TeX
         7.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 26,537
  • Country Ranking
    Racket
         20
    Standard ML     61
    OCaml
         240
    TeX
         2,085

Top repositories

1

redex-aam-tutorial

An Introduction to Redex with Abstracting Abstract Machines
Racket
101
star
2

oaam

Optimizing Abstract Abstract Machines
Racket
30
star
3

dpc

Designing Programs with Class
Racket
26
star
4

pcf

PCF with Contracts and Symbolic Values
Racket
17
star
5

ubik

Small Scheme interpreter and compiler
OCaml
14
star
6

ralist

RaList: Purely Functional Random-access Lists for Racket.
Racket
11
star
7

fector

Fector: Functional Persistent Vectors in Racket
Racket
7
star
8

jam

JavaScript Abstract Machine and Analysis
Standard ML
5
star
9

cmsc631-notes

Course notes
TeX
4
star
10

snake

The Snake Game
Racket
3
star
11

eqil

Interpreter and Abstract Interpreter for Coq Intermediate language
Racket
3
star
12

backgammon

Rackgammon: Backgammon for Racket
Racket
1
star
13

www

CMSC 430 Design and Implementation of Programming Langauges
Racket
1
star
14

typed-student

Typed Student: typed languages and libraries for HtDP
Racket
1
star