-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 |
-1571868929 | | 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 |
-1614703474 New | | 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 |
-1576616992 | | Typed variant of #lang plai. Forked from plai-typed, brought closer to #lang plai. | succeeds | 0 |
-1610296541 | | implementation (no documentation) part of "profile" This package needs documentation | | 3 |
-1614740083 New | | This package needs a description This package needs documentation | | 3 |
-1597701889 | | Diffs s-expressions based on Levenshtein-like edit distance. This package needs tags | succeeds | 1 |
-1571887334 | | Completion scribpts for bash and zsh This package needs documentation | | 3 |
-1614376562 | | find mappings from expanded to source syntax This package needs documentation | | 3 |
-1502816454 | | Helpers for building staged slides in Slideshow | succeeds | 0 |
-1614376767 | | The implementation of the Typed Racket language | | 0 |
-1614376771 | | compatibility library for older Typed Racket-based languages This package needs documentation | | 3 |
-1614376775 | | documentation part of "typed-racket" | | 0 |
-1614376779 | | implementation (no documentation) part of "typed-racket" This package needs documentation | | 3 |
-1614376782 | | Types for various libraries This package needs documentation | | 3 |
-1614376787 | | tests for "typed-racket" This package needs documentation | | 3 |