GitHub repository: monaqa/tree-sitter-satysfi
Primary language: C
Description: tree-sitter grammar for SATySFi