| -1630465722 | | data type syntax for typed/racket | succeeds | 0 |
| -1634179399 | | k theorem prover | succeeds | 0 |
| -1623248992 | | A minimal DrRacket theme | succeeds | 0 |
| -1620898094 | |
An extension of raco command that watching files and re-executing subcommand | succeeds | 0 |
| -1625427275 | | A util toolbox for compiler error reporting | succeeds | 0 |
| -1634155137 | | A DrRacket plugin to make it experience like an IDE | succeeds | 0 |