https://github.com/gruhn/tree-sitter-quint

Tree Sitter grammar for Quint
https://github.com/gruhn/tree-sitter-quint

quint tree-sitter

Last synced: 2 months ago
JSON representation

Tree Sitter grammar for Quint

• Host: GitHub
• URL: https://github.com/gruhn/tree-sitter-quint
• Owner: gruhn
• License: apache-2.0
• Created: 2024-10-03T12:51:13.000Z (4 months ago)
• Default Branch: master
• Last Pushed: 2024-10-17T08:36:09.000Z (4 months ago)
• Last Synced: 2024-12-04T19:32:39.317Z (2 months ago)
• Topics: quint, tree-sitter
• Language: JavaScript
• Homepage:
• Size: 337 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Tree Sitter Quint

[Tree Sitter](https://tree-sitter.github.io/tree-sitter/) 

grammar for 

[Quint](https://quint-lang.org/).

Mainly with the goal to get editor support into

[Helix](https://helix-editor.com/).

To avoid cluttering the repository with build artifacts, 

the generated parser is not included on the `master` branch.

Check the `release` branch instead.