| -1658386150 | | A badge generator for coverage This package needs documentation | succeeds | 3 |
| -1661489370 | | data type syntax for typed/racket | succeeds | 0 |
| -1660920634 | | wakatime support on DrRacket | succeeds | 0 |
| -1640414516 | | Extends racket string to formatted string | succeeds | 0 |
| -1660658292 | | k theorem prover This package needs documentation | fails | 5 |
| -1660658293 | | core of k theorem prover This package needs documentation | succeeds | 3 |
| -1660658293 | | documentation of k theorem prover | fails | 5 |
| -1660658294 | | examples of using k theorem prover This package needs documentation | fails | 5 |
| -1660658295 | | libraries of k theorem prover This package needs documentation | fails | 5 |
| -1660658296 | | 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 |
| -1660814155 | | racket llvm C-API bindings | succeeds; has failing tests | 4 |
| -1662175106 | | racket binding to tree-sitter | succeeds; has failing tests | 4 |
| -1620898094 | |
An extension of raco command that watching files and re-executing subcommand | succeeds | 0 |
| -1665175585 New | | A util toolbox for compiler error reporting | succeeds | 0 |
| -1664325751 | | A DrRacket plugin to make it experience like an IDE | succeeds | 0 |
| -1661188856 | | A helper collection of syntax | succeeds | 0 |