| -1504309903 | | Port of the acmsmall style to Scribble | succeeds; has failing tests | 4 |
| -1558821375 | | Benchmarking library | succeeds; has failing tests | 4 |
| -1502812291 | | Scribble wrapper for the classicthesis LaTeX style. This package needs documentation | succeeds | 3 |
| -1518222250 | | Profiling tool for contracts | | 0 |
| -1504303442 | | Profile that measures time spent in language/library features | succeeds; has failing tests | 4 |
| -1502816142 | | Java syntax highlighting for Scribble. This package needs documentation | succeeds | 3 |
| -1564844211 | | This package needs a description This package needs tags | succeeds | 2 |
| -1504309961 | | Scribble languages for the LIPIcs paper format | succeeds; has failing tests | 4 |
| -1502816237 | | Optimization Coach Plug-In for DrRacket | | 0 |
| -1566411028 New | | Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai. This package needs documentation | | 3 |
| -1553008188 | | implementation (no documentation) part of "profile" This package needs documentation | | 3 |
| -1566518295 New | | This package needs a description This package needs documentation | | 3 |
| -1502816426 | | Diffs s-expressions based on Levenshtein-like edit distance. This package needs tags | succeeds | 1 |
| -1502816427 | | Completion scribpts for bash and zsh This package needs documentation | | 3 |
| -1566330881 | | find mappings from expanded to source syntax This package needs documentation | | 3 |
| -1502816454 | | Helpers for building staged slides in Slideshow | succeeds | 0 |
| -1566330907 | | The implementation of the Typed Racket language | | 0 |
| -1566330909 | | compatibility library for older Typed Racket-based languages This package needs documentation | | 3 |
| -1566330911 | | documentation part of "typed-racket" | | 0 |
| -1566330914 | | implementation (no documentation) part of "typed-racket" This package needs documentation | | 3 |
| -1566330916 | | Types for various libraries This package needs documentation | | 3 |
| -1566330919 | | tests for "typed-racket" This package needs documentation | | 3 |