Micro:Bit Platforms
Microsoft MakeCode for micro:bit - micro:bit platform
micro:bit classroom - Classroom Platform
Projects | micro:bit - Projects and Lessons
Micro:Bit Club Pack 10x micro:bit Classroom Bundle (eduporium.com) - Here is a great company to work with if you are buying Micro:Bits for a class.