I'm compiling a "master list" of board packages for the Arduino IDE.
At the moment I have:
- Adafruit
- BBC Microbit etc
- chipKIT
- Digistump
- ESP32
- ESP8266
- Little Green LGT8fx
- Maixduino
- Open Panzer TCB
- Seeeduino
- Sparkfun Boards
- STM32Duino
If anyone knows of any more (the more obscure the better, even if it's just for one single board) please let me know in answers / comments.
arduino-cli
as the compilation back-end, and want to have a way of selecting the boards / cores without you having to go hunting for them.