~wren

Shells, scripts, etc.
IRC
Email
Text Editing
OSX
LaTeX
Haskell — most of this is available on http://community.haskell.org/~wren
Coq
  • local/
    • coq/
      • vecs// [darcs] — lists indexed by their length
Java
  • local/
    • java/
      • winterkoninkje// [darcs] — random collection of extras
Perl — it's been years since I've looked at these, but they're still used by some old scripts.