Pinned Repositories
jani-models
A library of formal models in the jani-model format.
qcomp
qcomp.org – Quantitative Model Repository and Tool Comparison
resultsmailer
homeassistant-powercalc
Custom component to calculate estimated power consumption of lights and other appliances
ahartmanns's Repositories
ahartmanns/jani-models
A library of formal models in the jani-model format.
ahartmanns/qcomp
qcomp.org – Quantitative Model Repository and Tool Comparison
ahartmanns/resultsmailer