dvanhorn/oaam dvanhorn/oaam

  • This repository has been archived on 25/Nov/2017
  • Stars
    star
    30
  • Rank 837,947 (Top 17 %)
  • Language
    Racket
  • Created about 12 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dvanhorn/oaam
github

dvanhorn

Reviews

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

Repository Details

Optimizing Abstract Abstract Machines

More Repositories

1

redex-aam-tutorial

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

dpc

Designing Programs with Class
Racket
26
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