| -1506215339 | | A helper library | succeeds | 0 |
| -1508100506 | | Anaphoric versions of `if`, `when` and `cond`. They bind the value of the condition expression to `it`. | succeeds | 0 |
| -1502812277 | | Handy utilities(macros/functions) for racket | succeeds | 0 |
| -1506076128 | | A personal collection of useful definitions. Quite unstable. This package needs documentation | succeeds; has failing tests | 4 |
| -1502815872 | | Static analysis utilities | succeeds | 0 |
| -1502815898 | | The (typed) core to construct the digital world | succeeds | 0 |
| -1502815957 | | A solution to the expression problem in Typed Racket | succeeds | 0 |
| -1503502733 | | Quick-start for SIGPLAN Scribble papers | succeeds | 0 |
| -1507102180 | | A personal collection of utilities. This package needs documentation | succeeds | 3 |
| -1507102181 | | A personal collection of utilities. (lib) This package needs documentation | succeeds | 3 |
| -1502816163 | | a convenience library for continuation marks like parameters | succeeds | 0 |
| -1502816163 | | a convenience library for continuation marks like parameters | succeeds | 0 |
| -1502816163 | | a convenience library for continuation marks like parameters This package needs documentation | succeeds | 3 |
| -1502816164 | | a convenience library for continuation marks like parameters This package needs documentation | succeeds | 3 |
| -1502816179 | | PLT Redex lang-extension for checked metafunction application | succeeds | 0 |
| -1502816190 | | Racket API for the Mutt email client | succeeds | 0 |
| -1502816404 | | Utilities for parsing and writing Roman numerals | succeeds | 0 |
| -1504162420 | | Scribble-to-LaTeX helper functions | succeeds | 0 |
| -1502816485 | | Command-line timer | succeeds | 0 |
| -1502816508 | | A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types. | succeeds | 0 |
| -1502816536 | | Utilities for working with and deriving Huet-style zippers | succeeds | 0 |