| -1769064675 | | Category Theory in Programming | Racket | succeeds; has dependency problems; has failing tests | 5 |
| -1683812817 | | Documentation for Dallas This package needs license metadata | Racket | succeeds | 2 |
| -1704805700 | | Documentation for the Elle language. This package needs license metadata | Racket | succeeds | 2 |
| -1704805842 | | Documentation for graph-lib This package needs license metadata | Racket | succeeds | 2 |
| -1660658293 | | documentation of k theorem prover This package needs license metadata | Racket | fails | 6 |
| -1695033708 | | Documentation for Laramie This package needs license metadata | Racket | succeeds | 2 |
| -1782570644 | | Documentation for phc-adt (and rendering of the literate programming) Docs: phc-adt-implementationphc-adt
This package needs license metadata | Racket | fails | 6 |
| -1575700968 | | Documentation for the syntax-warn packages This package needs license metadata | Racket | succeeds | 2 |
| -1745576464 | | TinyBASIC (Documentation only) | Racket | succeeds | 0 |
| -1782570868 | | Documentation for typed-map This package needs license metadata | Racket | succeeds | 2 |
| -1701681466 | | This package needs a description This package needs license metadata | Racket | succeeds | 3 |