pytype is based in part upon byterun https://github.com/google/pytype/blob/main/docs/developers/i...

I learnt a lot about bytecode interpreters from working on it, and it helped me understand the cpython source code a lot more easily from having played with a python translation of it first.