GitHub repository: 01mf02/jq-lang-spec
Primary language: TeX
Description: Formal specification of the jq language