This stuff is way over my head but if I understand correctly, PyPy is the most famous implementation of all three Futamura projections to JIT a subset of Python: https://gist.github.com/tomykaira/3159910
I don't think they ever went beyond the first projection (has anyone?) and they don't seem to use Futamura projection anymore.