| -1662203392 | | Additional List utilities in Typed Racket. This package needs license metadata | succeeds | 2 |
| -1576616992 | | Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai. This package needs license metadata | succeeds | 2 |
| -1662203863 | | Additional string utilities in Typed Racket. This package needs license metadata | succeeds | 2 |
| -1662203920 | | Basic Typed Racket Json Parser and Emitter This package needs license metadata | succeeds; has failing tests | 5 |
| -1678606477 | | Typed Racket interface to the colorize package This package needs documentation | succeeds | 4 |
| -1678995352 | | PMS formatting and parsing functions. Typed interface. This package needs documentation | succeeds | 4 |
| -1533585629 | | A typed variant of the Rosette language. This package needs documentation This package needs license metadata | fails | 6 |