I've been working with pencil and paper recently. Thinking about starting an Ibis backend for it.