| -1764716079 | | PLT Redex libraries for practical semantics engineering | | 0 |
| -1764716081 | | PLT Redex Benchmark This package needs documentation | | 4 |
| -1764716083 | | documentation part of "redex" | | 0 |
| -1764716085 | | PLT Redex examples This package needs documentation | | 4 |
| -1764716087 | | implementation (no documentation) part of "redex" gui This package needs documentation | | 4 |
| -1764716088 | | implementation (no documentation) part of "redex" This package needs documentation | | 4 |
| -1764716090 | | implementation (no documentation) part of "redex" using picts This package needs documentation | | 4 |
| -1764716092 | | tests for "redex" This package needs documentation | | 4 |