I've heard of some guy making a good Mario Maker port to SmileBASIC. I assume he/she doesn't share the key due to the server's copyright restrictions. Hope its eventually released. :(

Yeah he made it on the original Petit Computer to DSi but not on SmileBASIC

I have it though.

Yes, I have the Petit Computer (DSi) version on my 3DS too. I'm talking about a much improved version on the new program. The video is difficult to track on Youtube.