There are 1 repository under arduino-boards-manager topic.
Ardi is a command-line tool that helps you manage arduino projects!
Arduino IDE board manager files for OpenTracker
Plugin for Arduino IDE that make it possible to have selectable boards settings
Dependency manager for Arduino IDE