top | item 47204994 Libre Solar – Open Hardware for Renewable Energy 10 points| evolve2k | 16 hours ago |libre.solar 1 comment order hn newest westurner|8 hours 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|8 hours 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|8 hours ago
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