- 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
mmoskal / adafruit_nrf52_bootloader Goto Github PK
View Code? Open in Web Editor NEWThis project forked from adafruit/adafruit_nrf52_bootloader
USB-enabled bootloaders for the nRF52 BLE SoC chips
License: MIT License