dvanhorn/ubik

Stars
14
Rank 1,435,205 (Top 29 %)
Language
OCaml
Created over 8 years ago
Updated over 8 years ago

dvanhorn/ubik

dvanhorn

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

Small Scheme interpreter and compiler

redex-aam-tutorial

An Introduction to Redex with Abstracting Abstract Machines

oaam

Optimizing Abstract Abstract Machines

dpc

Designing Programs with Class

pcf

PCF with Contracts and Symbolic Values

ralist

RaList: Purely Functional Random-access Lists for Racket.

fector

Fector: Functional Persistent Vectors in Racket

jam

JavaScript Abstract Machine and Analysis

cmsc631-notes

snake

eqil

Interpreter and Abstract Interpreter for Coq Intermediate language

backgammon

Rackgammon: Backgammon for Racket

www

CMSC 430 Design and Implementation of Programming Langauges

typed-student

Typed Student: typed languages and libraries for HtDP