Tree-sitter Grammar

[oscar-bender-stone]

Hello all, I am new to the Dafny community and am excited to be here! I volunteered at the POPL 2026 session and am interested in this project!

I wanted to share my quick Tree-sitter grammar that should work across editors. This has solved this issue. I have only tested it on helix so far but would be happy to test more editors! The LSP is also easy to setup and works great! Here's a demo, using the code from the home page. I removed the error messages to make the demo cleaner.

Link to repository: tree-sitter-dafny.