| -1638046684 | | 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 |
| -1633782991 | | Profiling tool for contracts | | 0 |
| -1640036164 | | A language for data structures students | succeeds; has failing tests | 4 |
| -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 |
| -1638051971 | | This package needs a description This package needs tags | fails | 5 |
| -1504309961 | | Scribble languages for the LIPIcs paper format | succeeds; has failing tests | 4 |
| -1633910208 | | Optimization Coach Plug-In for DrRacket | | 0 |
| -1576616992 | | Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai. | succeeds | 0 |
| -1633791615 | | implementation (no documentation) part of "profile" This package needs documentation | | 3 |
| -1653140872 New | | This package needs a description This package needs documentation | | 3 |
| -1615258293 | | Diffs s-expressions based on Levenshtein-like edit distance. This package needs tags | succeeds | 1 |
| -1615258294 | | Diffs s-expressions based on Levenshtein-like edit distance, documentation. This package needs tags | succeeds | 1 |
| -1615258295 | | Diffs s-expressions based on Levenshtein-like edit distance, library only. This package needs documentation This package needs tags | succeeds | 3 |
| -1615258296 | | Tests for sexp-diff-lib This package needs documentation This package needs tags | succeeds | 3 |
| -1633792060 | | Completion scribpts for bash and zsh This package needs documentation | | 3 |
| -1653065683 New | | find mappings from expanded to source syntax This package needs documentation | | 3 |
| -1502816454 | | Helpers for building staged slides in Slideshow | succeeds | 0 |
| -1653065863 New | | The implementation of the Typed Racket language | | 0 |
| -1653065865 New | | compatibility library for older Typed Racket-based languages This package needs documentation | | 3 |
| -1653065868 New | | documentation part of "typed-racket" | | 0 |
| -1653065871 New | | implementation (no documentation) part of "typed-racket" This package needs documentation | | 3 |
| -1653065874 New | | Types for various libraries This package needs documentation | | 3 |
| -1653065877 New | | tests for "typed-racket" This package needs documentation | | 3 |