Beast code in Giters

David Van Horn's repositories

redex-aam-tutorial

An Introduction to Redex with Abstracting Abstract Machines

Language:RacketAFL-3.0100 11 4

oaam

Optimizing Abstract Abstract Machines

Language:Racket30 6 4

dpc

Designing Programs with Class

Language:Racket26 8 27

pcf

PCF with Contracts and Symbolic Values

Language:Racket17 4 14

ubik

Small Scheme interpreter and compiler

Language:OCaml14 20

ralist

RaList: Purely Functional Random-access Lists for Racket.

Language:Racket1100

fector

Fector: Functional Persistent Vectors in Racket

Language:Racket700

jam

JavaScript Abstract Machine and Analysis

Language:Standard ML5 20

cmsc631-notes

Course notes

Language:TeX4 30

eqil

Interpreter and Abstract Interpreter for Coq Intermediate language

Language:Racket3 30

var

Verification via Abstract Reduction

Language:Racket1 2 2

www

CMSC 430 Design and Implementation of Programming Langauges

Language:Racket1 20

aac

Abstracting Abstract Control

Language:TeX000

alixlabich

Language:Scala030

cmsc631-www

Web page for UMD CMSC631

Language:Racket030

crook

Language:Racket000

demo-deploy

020

diagrama

A diagram drawing library for Racket

Language:RacketMIT010

Essentials-of-Compilation

A book about compiling Racket to x86-64 assembly

Language:TeX020

icfp-www

ICFP web page

Language:Racket030

inc

an incremental approach to compiler construction

Language:SchemeMIT020

LambdaS5

Semantics for ES5

Language:OCamlBSD-3-Clause030

play

Language:Coq020

popl-events

Web page for POPL events

Language:PHP020

racket

The Racket repository

Language:SchemeNOASSERTION000

scribble

Language:Racket020

travis-racket

Use Travis with Racket

Language:Shell010

web-server

Language:RacketNOASSERTION010

webpage

The PLUM webpage

Language:Ruby020

writing

Language:Racket020