| -1794303542 | | Ambiguous Operator | Racket | succeeds | 0 |
| -1793965142 | | miniKanren based on amb | Racket | succeeds; has failing tests | 5 |
| -1793950771 | | Treat a byte vector as a bit matrix with a width of 8 | Racket | succeeds | 0 |
| -1762998645 | | This package needs a description This package needs documentation | Racket | succeeds | 4 |
| -1749095544 | | A category theory toolkit for Racket. This package needs documentation | Racket | succeeds | 4 |
| -1793950797 | | The simpler, more direct alternatives to `call/cc` | Racket | succeeds | 0 |
| -1769064675 | | Category Theory in Programming | Racket | succeeds; has conflicts; has dependency problems | 0 |
| -1744969954 | | Dynamic Case | Racket | succeeds | 0 |
| -1793950909 | | Goto based on call/cc This package needs documentation | Racket | succeeds | 4 |
| -1794289445 | | Typed miniKanren | Racket | succeeds | 0 |
| -1672809260 | | Packages for studying the connections between Qi and Category Theory. This package needs documentation | Racket | fails | 6 |
| -1760946240 | | Scheme versions of Racket-inspired libraries This package needs documentation | Racket | succeeds | 4 |
| -1794305124 | | Typed Ambiguous Operator This package needs documentation | Racket | succeeds | 4 |
| -1793952052 | | Queues for typed racket This package needs documentation | Racket | succeeds | 4 |
| -1793952056 | | Mutable tresslists for typed racket This package needs documentation | Racket | succeeds | 4 |
| -1793952059 | | Typed Box This package needs documentation | Racket | succeeds | 4 |
| -1793952060 | | Typed Record | Racket | succeeds | 0 |
| -1793952082 | | Tagged Values | Racket | succeeds | 0 |