GitHub repository: plavreshin/smart-home
Primary language: Java
Description: Smart house with design by contract approach