| -1743161631 | | Ambiguous Operator | succeeds | 0 |
| -1739762118 | | Category Theory in Programming | succeeds; has dependency problems | 0 |
| -1734335596 | | Dynamic Case | succeeds | 0 |
| -1672809260 | | Packages for studying the connections between Qi and Category Theory. This package needs documentation | fails | 6 |
| -1743161981 | | Typed Ambiguous Operator | succeeds | 0 |
| -1742220447 | | Queues for typed racket This package needs documentation | succeeds | 4 |
| -1742220453 | | Mutable tresslists for typed racket This package needs documentation | succeeds | 4 |