What's a good codec for this?

[kleptophobiac]

I'm going to be generating video streams up to 1000 frames/sec at a 32x32@{6, 8}bpp grayscale. What's a decent codec to use for this? I'll want to capture about 10 minutes of video at a time - no audio. The images may grow slightly to accomodate a text timestamp.