M microsoft.github.io DeviceScript: TypeScript for Tiny IoT Devices 204 points glutamate 3 years ago 101 comments