tree-sitter-tlaplus
link-grammar
tree-sitter-tlaplus | link-grammar | |
---|---|---|
2 | 1 | |
53 | 383 | |
- | 0.5% | |
8.3 | 8.9 | |
9 days ago | 6 days ago | |
C | C | |
MIT License | GNU Lesser General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
tree-sitter-tlaplus
-
Writing a TLA⁺ tree-sitter grammar: my foray into free software
Not an emacs person myself (yet!) - Carl Thuringer created tla-mode that apparently uses the grammar: https://github.com/carlthuringer/tla-mode
Haven't tested it out myself. Happy to take any PRs if emacs needs its own set of query files; they would live in https://github.com/tlaplus-community/tree-sitter-tlaplus/tre... and they can be added to CI runs to ensure they stay in sync with changes to the parser.
- Happy 15th birthday Hacker News
link-grammar
-
Adding Grammar Checking To Gtk4's TextView
The Word Processor did not abandon us. AbiWord's Link Grammar Parser is free, open source, and actively maintained. There's bindings for Java, Node.js, Perl, Python, and Vala.
What are some alternatives?
tree-sitter-go-template - Golang template grammar for tree-sitter
vala-www - Website of the Vala programming language
inih - Simple .INI file parser in C, good for embedded systems
nlp-recipes - Natural Language Processing Best Practices & Examples
tree-sitter-sql - SQL syntax highlighting for tree-sitter
languagetool - Style and Grammar Checker for 25+ Languages
tree-sitter-formula - Formula grammar for tree-sitter
mgpt - Multilingual Generative Pretrained Model
tree-sitter-rasi - RASI grammar for tree-sitter
tree-sitter-twig - Twig grammar for Tree-sitter
tree-sitter-cmake - A Tree-sitter parser for CMake
libpostal - A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.