| -1630465722 | | data type syntax for typed/racket | succeeds | 0 |
| -1645083366 | | wakatime support on DrRacket | succeeds | 0 |
| -1640414516 | | Extends racket string to formatted string | succeeds | 0 |
| -1653107217 New | | k theorem prover This package needs documentation | fails | 5 |
| -1653107218 New | | core of k theorem prover This package needs documentation | succeeds | 3 |
| -1653107218 New | | documentation of k theorem prover | fails | 5 |
| -1653107219 New | | examples of using k theorem prover This package needs documentation | fails | 5 |
| -1653107220 New | | libraries of k theorem prover This package needs documentation | fails | 5 |
| -1653107220 New | | Test of k This package needs documentation | fails | 5 |
| -1652769561 | | terminal version of mathler game, and its solver This package needs documentation This package needs tags | succeeds | 3 |
| -1637363588 | | A minimal DrRacket theme | succeeds | 0 |
| -1644127191 | | racket llvm C-API bindings | fails | 5 |
| -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 |
| -1646823592 | | A DrRacket plugin to make it experience like an IDE | succeeds | 0 |