Syntax trees for VSCode using tree-sitter
☆52Feb 17, 2026Updated last week
Alternatives and similar repositories for vscode-parse-tree
Users that are interested in vscode-parse-tree are comparing it to the libraries listed below
Sorting:
- Syntax tree visualizer for tree-sitter☆21Apr 20, 2023Updated 2 years ago
- Visual Studio Code Tasks and Contexts extension☆11Apr 12, 2024Updated last year
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- Simplified token definition and lexer creation library for use with Chevrotain.☆10Oct 7, 2024Updated last year
- Example setup for compiling Rust code that depends on an unmodified tree-sitter crate to the web via WebAssembly (and WASI).☆15Oct 28, 2024Updated last year
- ☆16Feb 18, 2025Updated last year
- VSCode IDE Integration for Dafny☆26Sep 23, 2025Updated 5 months ago
- Accurate syntax coloring for VSCode using tree-sitter☆181Dec 9, 2022Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- utility to create xast trees☆13Jul 31, 2023Updated 2 years ago
- List of HTML event handler attributes☆12Nov 1, 2023Updated 2 years ago
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- ☆14Dec 22, 2022Updated 3 years ago
- VSCode extension used by Talon Voice☆13Feb 17, 2026Updated last week
- Deferring the Details and Deriving Programs☆14Aug 18, 2019Updated 6 years ago
- ☆18May 19, 2020Updated 5 years ago
- Talon macOS accessibility magic!☆63Jan 19, 2026Updated last month
- JaMoPP can parse Java source and byte code into EMF-based models and vice versa. It preserves source formatting and can be used for code …☆18Sep 5, 2022Updated 3 years ago
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Monorepo for a suite of `unified`-compatible converters for converting between, from, and to .docx, JATS XML, LaTeX, and PDF☆21Updated this week
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Feb 27, 2014Updated 12 years ago
- For Jar artifacts☆20Nov 8, 2025Updated 3 months ago
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- Implementation of sprintf for Coq☆19Apr 6, 2020Updated 5 years ago
- Rich Presence GeForce NOW for Discord. Automatically show your games as real presence on Discord. Detect games on Discord using GeForce N…☆33Updated this week
- Tool for building userscript for teampermonkey. Uses ES6 classes.☆19Jul 19, 2023Updated 2 years ago
- Rust grammar for Lezer☆22Feb 14, 2024Updated 2 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Talon package aimed at making it easier to build new mouse controlling voice commands☆47Jun 9, 2025Updated 8 months ago
- A Model of Relationally Parametric System F in Coq☆22May 27, 2015Updated 10 years ago
- Mac OS terminal setup☆20Jan 4, 2026Updated last month
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- Grammar Converter☆31Jan 2, 2026Updated last month
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago