- Nemerle programming language
- Fx7 SMT solver
- vcc formal verifier for C
- Touch Develop IDE for a phone
- UF2 file format for flashing embedded devices (used in RP2040)
- MakeCode IDE for programming education
- Jacdac plug-and-play electronics
- DeviceScript TypeScript for IoT
- AICI control interface for LLMs
- Seattle, WA, USA
-
04:49
(UTC -07:00) - http://moskal.me
Pinned Loading
-
-
microsoft/devicescript
microsoft/devicescript PublicTypeScript for Tiny IoT Devices (ESP32, RP2040, ...)
-
microsoft/pxt
microsoft/pxt PublicMicrosoft MakeCode (PXT - Programming eXperience Toolkit)
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.