My Fitz prototype is now released.
It renders the tiger, but otherwise is more of a code sketch. Perhaps some people will find the Python bindings interesting.
Well Tempered Screening
I sent a snapshot to our internal mailing list. It's getting to the point where it actually works and people might want to use it. A bit more cleanup, though.
I'm trying to wrap things up before my trip to San Diego, so I'm not wrapping my mind around more speculative things like proof systems right now.