| -1528473038 | | Additional List utilities in Typed Racket. | succeeds | 0 |
| -1576616992 | | Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai. | succeeds | 0 |
| -1602798620 | | Additional string utilities in Typed Racket. | succeeds | 0 |
| -1543675526 | | Basic Typed Racket Json Parser and Emitter | succeeds; has failing tests | 4 |
| -1533585629 | | A typed variant of the Rosette language. This package needs documentation | fails | 5 |