There are 0 repository under plt-redex topic.
formalization of the Dependent Object Types (DOT) calculus
A PLT Redex implementation of Featherweight Java
Resources for Learning PLT Redex
🌐 An interactive semantics explorer
PLT Redex implementation of Chocola.
Exercises for PLT Redex Summer School 2015
Some helper functions for PLT Redex.
Executable semantics of transactional futures in PLT Redex.