AlecGhost / tree-sitter-vscodeLinks
Bring the power of Tree-sitter to VSCode
☆32Updated 8 months ago
Alternatives and similar repositories for tree-sitter-vscode
Users that are interested in tree-sitter-vscode are comparing it to the libraries listed below
Sorting:
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated 2 months ago
- Official Unison extension for Visual Studio Code☆23Updated last week
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- ☆37Updated last year
- A simple, lightweight library for ANSI styling.☆24Updated 2 months ago
- A parser and formatter for TypeScript declarations that outputs HM-style type signatures.☆31Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated last year
- A type-safe dialect of TypeScript☆26Updated 11 years ago
- Imagine a Dependently Typed Python☆10Updated 9 months ago
- Prettify Symbols Mode for Visual Studio Code☆92Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆88Updated last month
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆37Updated last month
- Another attempt to realize my programming language☆23Updated last week
- ☆12Updated last year
- LLM-powered typed-holes☆51Updated 8 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- 🩺 A library for compiler diagnostics☆52Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 7 months ago
- Standard ML Grammar for Tree-sitter☆25Updated 4 years ago
- Purescript compiler back-end for Lua☆58Updated 3 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Full Source Code for Making a Language series☆73Updated this week
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated last month
- The Montreal Haskell Compiler☆26Updated 3 months ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆17Updated 2 years ago
- A desktop app companion to the UCM CLI☆65Updated last month
- ☆71Updated 3 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated last year
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week