What it the correct extention could I use to program it ? All-in-one Starter Kit for Micro:bit

Jully

Please watch these tutorial videos; they contain relevant information.

https://github.com/Elecrow-RD/All-in-one-Starter-Kit-for-Micro-bit/tree/master/example/all in one microbit mp4