DrRacket
A comprehensive programming environment for
writing, debugging, and analyzing
Racket programs.
|
PLT
PLT is a
group of people
spanning multiple universities that works on Racket and related research.
|
|
 
|
Redex
An embedded, domain-specific language for writing operational semantics.
|
Dissertations
Masters and PhD dissertations
|
|