Micro Bit GPIO by Ciro Santilli 34 Updated +Created
Pinout overview: makecode.microbit.org/device/pins Basically 0, 1, and 2 are the truly generic ones. They can also serve as ADCs.