Doesn’t look like this is quite that, yet. The decomp.is just the first step towards native porting. Banjo-Kazooie’s been fully decompiled for somewhere around a year at this point, and there’s still no ports afaik.