| -1566258835 New | | PLT Redex libraries for practical semantics engineering | | 0 |
| -1566258837 New | | PLT Redex Benchmark This package needs documentation | | 3 |
| -1566258839 New | | documentation part of "redex" | | 0 |
| -1566258841 New | | PLT Redex examples This package needs documentation | | 3 |
| -1566258842 New | | implementation (no documentation) part of "redex" gui This package needs documentation | | 3 |
| -1566258844 New | | implementation (no documentation) part of "redex" This package needs documentation | | 3 |
| -1566258846 New | | implementation (no documentation) part of "redex" using picts This package needs documentation | | 3 |
| -1566258848 New | | tests for "redex" This package needs documentation | | 3 |