| -1760675974 | | Ambiguous Operator | succeeds | 0 |
| -1759372774 | | miniKanren based on amb This package needs documentation | succeeds; has failing tests | 5 |
| -1749095544 | | A category theory toolkit for Racket. This package needs documentation | succeeds | 4 |
| -1754802006 | | Category Theory in Programming | succeeds; has dependency problems | 0 |
| -1744969954 | | Dynamic Case | succeeds | 0 |
| -1759495296 | | Goto based on call/cc | succeeds | 0 |
| -1759372962 | | Typed miniKanren This package needs documentation | succeeds | 4 |
| -1672809260 | | Packages for studying the connections between Qi and Category Theory. This package needs documentation | fails | 6 |
| -1760946240 | | Scheme versions of Racket-inspired libraries This package needs documentation | succeeds | 4 |
| -1760676312 | | Typed Ambiguous Operator | succeeds | 0 |
| -1761565518 | | Queues for typed racket This package needs documentation | succeeds | 4 |
| -1759495528 | | Typed goto based on call/cc | succeeds | 0 |
| -1761565522 | | Mutable tresslists for typed racket This package needs documentation | succeeds | 4 |
| -1761565524 | | Typed Box This package needs documentation | succeeds | 4 |
| -1761836766 New | | Typed Record | succeeds | 0 |
| -1761832854 New | | Tagged Values | succeeds | 0 |