Tired of politics - this is a rather interesting activity for today (and not only). Mari0 is a fairly successful combination of Mario and Portal games. Maybe someone also waited for the release of this game? So - he is today. What is remarkable - you can download the full source, along with shaders, sound, graphics. Written in Lua, on the engine for 2D games LÖVE. Everything is packed into a file with the extension .love, which is essentially a zip archive, you can unpack it and see what's inside there. And you can go and see what this beast is here: https://love2d.org/.
The game is available for Windows, Linux and MacOS.
For Windows users, the game might need vcredist. ')