STM is the software transactional memory being written for PyPy to support robust threading. I include it here because it's being implemented as a standalone memory manager and that strikes me as pretty rad.
Maybe I should consider writing a virtual machine. It could have this kind of thing in it. How high a level would be appropriate? That's an interesting question.