Those look cool. rrweb is about two years old, same as DOMRec, TimeCat started in February this year, so it's not surprising we didn't find them :-).
The infrastructure we built to support JS would extend pretty easily to Python. Extending to Java would be a lot more work. No plans to do either anytime soon (unless someone wants to pay us significant money for that).