GitHub repository: HAIL-Platform/HAL-gh-page
Primary language: HTML
Description: The github page for HAL used for hosting the official web page