The Micro:Bit doesn't _have_ to use the Internet. It runs MicroPython just fine with upload of a local serial line. (I believe that the Scratch base, that I've never touched, also runs locally, and uploads over serial.)