Libre Solar – Open Hardware for Renewable Energy 9 hours ago (libre.solar) 1 comment evolve2k Reply Add to library westurner 1 hour ago Why ZephyrOS?ZephyrOS: https://github.com/zephyrproject-rtos/zephyrWould there be value in modeling this system with TLA+?Why build another open product?There are a few GitHub topics for solar electricity:solar: https://github.com/topics/solarphotovoltaic: https://github.com/topics/photovoltaicpv: https://github.com/topics/pvbattery-management: https://github.com/topics/battery-managementups-management: https://github.com/topics/ups-managementinverter: https://github.com/topics/inverterPhotovoltaic system: https://en.wikipedia.org/wiki/Photovoltaic_system
westurner 1 hour ago Why ZephyrOS?ZephyrOS: https://github.com/zephyrproject-rtos/zephyrWould there be value in modeling this system with TLA+?Why build another open product?There are a few GitHub topics for solar electricity:solar: https://github.com/topics/solarphotovoltaic: https://github.com/topics/photovoltaicpv: https://github.com/topics/pvbattery-management: https://github.com/topics/battery-managementups-management: https://github.com/topics/ups-managementinverter: https://github.com/topics/inverterPhotovoltaic system: https://en.wikipedia.org/wiki/Photovoltaic_system
Why ZephyrOS?
ZephyrOS: https://github.com/zephyrproject-rtos/zephyr
Would there be value in modeling this system with TLA+?
Why build another open product?
There are a few GitHub topics for solar electricity:
solar: https://github.com/topics/solar
photovoltaic: https://github.com/topics/photovoltaic
pv: https://github.com/topics/pv
battery-management: https://github.com/topics/battery-management
ups-management: https://github.com/topics/ups-management
inverter: https://github.com/topics/inverter
Photovoltaic system: https://en.wikipedia.org/wiki/Photovoltaic_system