Thats one project that could interest you. It does to me as it reminds me of one of my graals:
The rosetta stone for programming languages.
https://galois.com/news/galois-wins-darpa-project-polymorph/
@PawelK This tool is largely going to be for analysis. The results can be fed into Ghidra as a new processor if it is complete enough. The tool will have to run an indefinite number of times to get enough information. It should be sufficient as long as it doesn't have to face off against Multiclet/FPGA or custom RISC-V/FPGA.
Sounds like very noble set of goals for a project.
