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.

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. :(