| -1726065284 | | Redex code related to Esterel in Racket This package needs documentation | succeeds | 4 |
| -1635123345 | | PLT Redex lang-extension for checked metafunction application This package needs license metadata | succeeds | 2 |
| -1662120956 | | A brief introduction to the Redex and Abstracting Abstract Machines. This package needs license metadata | succeeds | 2 |
| -1635123667 | | Tools for PLT Redex This package needs license metadata | succeeds | 2 |
| -1502816388 | | rackunit/chk style checks for redex ('term' quotes automatically) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1705223251 | | Miscellanea for Redex. This package needs license metadata | succeeds | 2 |
| -1665085270 | | Parameters for extensions in Redex. This package needs license metadata | succeeds | 2 |
| -1681149351 | | Simple, low-level rewriter tools for typesetting PLT Redex models This package needs documentation This package needs license metadata | succeeds | 4 |