| -1645083366 | | wakatime support on DrRacket | succeeds | 0 |
| -1653107217 New | | k theorem prover This package needs documentation | fails | 5 |
| -1625427275 | | A util toolbox for compiler error reporting | succeeds | 0 |
| -1646823592 | | A DrRacket plugin to make it experience like an IDE | succeeds | 0 |