GitHub repository: GallLeo/ModelicaSpecification
Primary language: TeX
Description: Specification of the Modelica Language