AlecGhost / tree-sitter-vscode
Bring the power of Tree-sitter to VSCode
☆21Updated last month
Alternatives and similar repositories for tree-sitter-vscode:
Users that are interested in tree-sitter-vscode are comparing it to the libraries listed below
- ☆36Updated last month
- This code contains a tiny implementation of FugueMax, programmed live on video☆12Updated 2 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- Official Unison extension for Visual Studio Code☆22Updated last year
- A pretty printing library☆24Updated 6 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 4 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 8 months ago
- Helps import tree-sitter grammars☆28Updated 2 years ago
- Render tikzcd diagrams with JSX.☆59Updated 5 years ago
- A projectional editor that uses textual code as its source of truth.☆26Updated 8 months ago
- functional spreadsheet programming☆16Updated 2 weeks ago
- ☆10Updated 2 weeks ago
- Imagine a Dependently Typed Python☆11Updated 2 weeks ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆25Updated last year
- Agda grammar for tree-sitter☆34Updated 5 months ago
- could it be?☆17Updated 8 months ago
- Accompanying materials for "A Core Calculus for Documents"☆32Updated last year
- Generate TypeScript .d.ts files for using tree-sitter grammars.☆28Updated this week
- ☆16Updated 10 months ago
- A Lean 4 formalization of partial combinatory algebras.☆13Updated 3 months ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆28Updated last month
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- generate typed wrappers for tree-sitter grammars from node-types.json and queries☆25Updated last month
- A collaborative bibliography of papers related to property-based testing☆13Updated last week
- Syntax tree visualizer for tree-sitter☆21Updated last year
- A frontend for the 1111 stable diffusion API☆18Updated this week
- ☆20Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆11Updated last week
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- ☆17Updated last year