| 8953 | Sierpinski | |
| 5563 | Greek alphabet | |
| 4837 | lazy fib | |
| 3259 | scribble syntax | |
| 8314 | check-expect | |
| 7435 | 2htdp/image | |
| 3883 | echo server | |
| 7658 | typed/racket | |
| 97561 | plot/pict | |
| 29314 | fish pict |
| 69085 | ||
| 10265 | qed | |
| 21887 | ||
| 69570 | (+ 1 2) | |
| 83173 | ||
| 75053 | title | |
| 56840 | ||
| 83982 | ||
| 30996 | ||
| 10202 | ||
| 91733 | ||
| 60840 | ||
| 69126 | ||
| 61591 | ||
| 18933 | Sierpinski | |
| 59219 |