John Clements's repositories
rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
dherman-struct
A port of David Herman's struct.plt planet package
ErrRecorder
ErrRecorder is a Dr. Racket collection that records all errors made during your session and sends them to a database. Users can access proposed solutions for their error through the website.
ErrRecorderServer
Server for the ErrRecorder tool.
Granite-Mon-Website
Website of the Long Island Challenge Granitemon
c.plt
Tools for manipulating C source code.
c.rkt
Racket utilities for manipulating C source code.
kegs
KEGS - Kent's Emulated GS
pyret-lang
The Pyret language.
racket-2048
The 2048 game implemented in Racket language
racket-sc
SuperCollider client for Racket
rai
Racket Abstract Interpretation
repro-in-cs
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)