You got tired of politics! This is quite an interesting pastime for today (and not only for today).
Mari0 is a pretty good combination of Mario games and Portal. Perhaps, somebody was waiting for a release of this game. So, you have it today. What is notable? You can download the complete source codes, along with the shaders, sound and the graphics. It is written in Lua, and it has the engine for 2D games LÖVE. All is archived in a file with extension .love that in fact is a zip file. You can unpack it and see what's inside. Also, you can go and see what is here: https://love2d.org/.