It's only for C, but Tigress[1] supports a ton of obfuscation types. Virtualization and JIT are very effective, especially when used together with control flow transforms like Split and Flatten.

Renaming variables or encoding them is fairly trivial to reverse.

[1] https://tigress.wtf/transformations.html