| -1502812290 | | A series of C utilities for Typed Racket | succeeds; has conflicts | 0 |
| -1502815873 | | A CSS Engine written in pure Typed Racket | fails | 5 |
| -1502815898 | | The (typed) core to construct the digital world | succeeds | 0 |
| -1519923794 | | Essential computer graphics for Typed Racket | fails | 5 |
| -1502816332 | | Read (and will write) Photoshop Documents | fails | 5 |
| -1502816418 | | A data modeling tool for Typed Racket | succeeds | 0 |