GitHub repository: philipholler/Pivot-Language-for-Home-Automation-P4
Primary language: Java
Description: Pivot is a  small language for home automation. Includes both a compiler and a paper with the documentation.