arduino-boards-manager
There are 4 repositories under arduino-boards-manager topic.
robgonnella/ardi
Ardi is a command-line tool that helps you manage arduino projects!
geolink/opentracker-arduino-board
Arduino IDE board manager files for OpenTracker
tykefcz/IniIno
Plugin for Arduino IDE that make it possible to have selectable boards settings
zhgzhg/Drizzle
Dependency manager for Arduino IDE