| -1669829922 | | A badge generator for coverage This package needs documentation | succeeds | 4 |
| -1661489370 | | data type syntax for typed/racket This package needs license metadata | succeeds | 2 |
| -1674145017 | | wakatime support on DrRacket | succeeds | 0 |
| -1640414516 | | Extends racket string to formatted string | succeeds | 0 |
| -1660658292 | | k theorem prover This package needs documentation | fails | 6 |
| -1660658293 | | core of k theorem prover This package needs documentation This package needs license metadata | succeeds | 4 |
| -1660658293 | | documentation of k theorem prover This package needs license metadata | fails | 6 |
| -1660658294 | | examples of using k theorem prover This package needs documentation This package needs license metadata | fails | 6 |
| -1660658295 | | libraries of k theorem prover This package needs documentation This package needs license metadata | fails | 6 |
| -1660658296 | | Test of k This package needs documentation This package needs license metadata | fails | 6 |
| -1652769561 | | terminal version of mathler game, and its solver This package needs documentation This package needs tags | succeeds | 4 |
| -1637363588 | | A minimal DrRacket theme This package needs license metadata | succeeds | 2 |
| -1666148307 | | racket llvm C-API bindings | succeeds; has failing tests | 5 |
| -1662175106 | | racket binding to tree-sitter | succeeds; has failing tests | 5 |
| -1620898094 | |
An extension of raco command that watching files and re-executing subcommand This package needs license metadata | succeeds | 2 |
| -1668370448 | | A util toolbox for compiler error reporting This package needs license metadata | succeeds | 2 |
| -1665802727 | | A DrRacket plugin to make it experience like an IDE | succeeds | 0 |
| -1668440936 | | A helper collection of syntax | succeeds | 0 |