| -1594641317 | | Toolbox for C family in Typed Racket | succeeds | 0 |
| -1599038743 | | The (typed) core to construct the digital world | succeeds | 0 |
| -1597296582 | | Essential computer graphics for Typed Racket | succeeds; has failing tests | 4 |
| -1597296634 | | Do we really need a "Typed Shell"? Nevertheless, Unix Shell and Powershell are not friends. | succeeds; has failing tests | 4 |
| -1531745110 | | Read (and will write) Photoshop Documents | succeeds | 0 |
| -1569322477 | | A data modeling tool for Typed Racket | succeeds | 0 |
| -1600279105 | | W3 Standards Implemented in Typed Racket | succeeds; has failing tests | 4 |