dvanhorn/dpc dvanhorn/dpc

  • Stars
    star
    26
  • Rank 928,877 (Top 19 %)
  • Language
    Racket
  • Created almost 13 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dvanhorn/dpc
github

dvanhorn

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Designing Programs with Class

More 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

pcf

PCF with Contracts and Symbolic Values
Racket
17
star
4

ubik

Small Scheme interpreter and compiler
OCaml
14
star
5

ralist

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

fector

Fector: Functional Persistent Vectors in Racket
Racket
7
star
7

jam

JavaScript Abstract Machine and Analysis
Standard ML
5
star
8

cmsc631-notes

Course notes
TeX
4
star
9

snake

The Snake Game
Racket
3
star
10

eqil

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

backgammon

Rackgammon: Backgammon for Racket
Racket
1
star
12

www

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

typed-student

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