| -1544906451 | | Concise Typed Racket syntax for declaring recursive data in BNF This package needs documentation This package needs license metadata | fails | 6 |
| -1596548002 | | Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates This package needs documentation This package needs license metadata | succeeds | 4 |
| -1704805922 | | Type-safe interning of datatype in Typed Racket as a new sub-type of Index This package needs documentation This package needs license metadata | succeeds | 4 |
| -1614328374 | | A well-typed JSON parser for Typed Racket inspired by Type Provider This package needs documentation This package needs license metadata | succeeds | 4 |
| -1657826715 | | Some conveniences for set, including fancy unicode aliases and more comprehension forms This package needs documentation This package needs license metadata | succeeds | 4 |
| -1559185264 | | Dynamic enforcement of size-change termination This package needs documentation This package needs license metadata | fails | 6 |
| -1553289233 | | Tracing utilities for functions and hash-tables, similar to `traces` from `redex` This package needs documentation This package needs license metadata | succeeds; has dependency problems; has failing tests | 5 |
| -1545076018 | | Various workarounds for Typed Racket, most of which are expected to be eventually obsolete This package needs documentation This package needs license metadata | succeeds; has dependency problems | 4 |
| -1536947952 | | Utilities for expressing supposedly unreachable code This package needs documentation This package needs license metadata | succeeds; has dependency problems | 4 |
| -1557606599 | | Z3 bindings for Racket This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |