robgonnella / ardi Star 12 Code Issues Pull requests Ardi is a command-line tool that helps you manage arduino projects! arduino arduino-library arduino-boards arduino-platform arduino-sketch arduino-boards-manager arduino-cli Updated Mar 6, 2023 Go
geolink / opentracker-arduino-board Star 9 Code Issues Pull requests Arduino IDE board manager files for OpenTracker arduino-ide opentracker arduino-boards-manager Updated May 30, 2018 C
tykefcz / IniIno Star 7 Code Issues Pull requests Plugin for Arduino IDE that make it possible to have selectable boards settings arduino arduino-boards arduino-boards-manager arduino-tool Updated Apr 30, 2021 Java
zhgzhg / Drizzle Star 3 Code Issues Pull requests Discussions Dependency manager plugin for Arduino IDE arduino package-manager dependency-manager ide arduino-ide arduino-boards drizzle arduino-boards-manager arduino-tool arduino-libraries board-manager drizzle-markers Updated Jul 29, 2024 Java