| -1462475911 | | Port of the acmsmall style to Scribble | succeeds; has failing tests |
| -1450569205 | | Benchmarking library | succeeds; has failing tests |
| -1448412061 | | Scribble wrapper for the classicthesis LaTeX style. | succeeds |
| -1496347787 | | Profiling tool for contracts | |
| -1493757981 | | Profile that measures time spent in language/library features | succeeds; has failing tests |
| -1427407971 | | Java syntax highlighting for Scribble. | succeeds |
| -1495750047 | | | succeeds |
| -1487905685 | | Scribble languages for the LIPIcs paper format | succeeds; has failing tests |
| -1495832863 | | Optimization Coach Plug-In for DrRacket | |
| -1497049935 | | implementation (no documentation) part of "profile" | |
| -1498252341New | | | |
| -1408724546 | | Diffs s-expressions based on Levenshtein-like edit distance. | succeeds |
| -1417910748 | | Completion scribpts for bash and zsh | |
| -1497370323 | | find mappings from expanded to source syntax | |
| -1450576493 | | Helpers for building staged slides in Slideshow | succeeds |
| -1497370339 | | The implementation of the Typed Racket language | |
| -1497370341 | | compatibility library for older Typed Racket-based languages | |
| -1497370343 | | documentation part of "typed-racket" | |
| -1497370345 | | implementation (no documentation) part of "typed-racket" | |
| -1497370347 | | Types for various libraries | |
| -1497370350 | | tests for "typed-racket" | |