GitHub repository: mdsol/hale
Description: HALe specification draft