| -1704805553 | | A badge generator for coverage This package needs documentation | Racket | succeeds | 4 |
| -1734490335 | | data type syntax for typed/racket This package needs license metadata | Racket | succeeds | 2 |
| -1688549500 | | wakatime support on DrRacket | Racket | succeeds | 0 |
| -1780993626 New | | genserver abstraction for Racket This package needs tags | Racket | succeeds; has failing tests | 5 |
| -1640414516 | | Extends racket string to formatted string | Racket | succeeds | 0 |
| -1740529014 | | k theorem prover This package needs documentation | Racket | fails | 6 |
| -1660658293 | | documentation of k theorem prover This package needs license metadata | Racket | fails | 6 |
| -1660658295 | | libraries of k theorem prover This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1660658296 | | Test of k This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1704805947 | | core of k theorem prover This package needs documentation This package needs license metadata | Racket | succeeds | 4 |
| -1660658294 | | examples of using k theorem prover This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1652769561 | | terminal version of mathler game, and its solver This package needs documentation | Racket | succeeds | 4 |
| -1637363588 | | A minimal DrRacket theme This package needs license metadata | Racket | succeeds | 2 |
| -1772567260 | | racket llvm C-API bindings | Racket | succeeds; has failing tests | 5 |
| -1662175106 | | racket binding to tree-sitter | Racket | succeeds; has failing tests | 5 |
| -1780738260 | | This package needs a description This package needs tags | Racket | succeeds; has failing tests | 5 |
| -1620898094 | |
An extension of raco command that watching files and re-executing subcommand This package needs documentation This package needs license metadata | Racket | fails | 6 |
| -1761054259 | | A util toolbox for compiler error reporting This package needs license metadata | Racket | succeeds | 2 |
| -1776960930 | | A DrRacket plugin to make it experience like an IDE | Racket | succeeds; has dependency problems | 0 |
| -1668440936 | | A helper collection of syntax | Racket | succeeds | 0 |
| -1780277780 | | A site generator based on a collection of racket/scribble programs. This package needs tags | Racket | succeeds | 1 |
| -1756633500 | | typed/racket + eff | Racket | succeeds | 0 |
| -1781088092 New | | This package needs a description This package needs tags | Racket | succeeds | 3 |