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:
- Messing around with delimited continuations, fibers, and algebraic effects☆16Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- A desktop app companion to the UCM CLI☆64Updated 2 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆48Updated last year
- A parser and formatter for TypeScript declarations that outputs HM-style type signatures.☆31Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated last year
- Software Design by Example in Roc☆58Updated last year
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated 2 months ago
- Imagine a Dependently Typed Python☆10Updated 10 months ago
- A simple, lightweight library for ANSI styling.☆24Updated 3 months ago
- ☆71Updated 3 years ago
- Unison Share's backend server☆31Updated last week
- Official Unison extension for Visual Studio Code☆23Updated 2 weeks ago
- Another attempt to realize my programming language☆23Updated 3 weeks ago
- LLM-powered typed-holes☆55Updated 9 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A functional programming language with shell scripting capabilities☆131Updated last month
- Purescript compiler back-end for Lua☆58Updated 3 months ago
- Unison base libraries☆24Updated 4 months ago
- ☆55Updated 2 weeks ago
- This is a starter project for everyone who'd like to start with PureScript with React and Vite as a tool for your dev server and build.☆30Updated 3 years ago
- ☆37Updated last year
- OCaml bindings for the Neovim API☆171Updated 3 weeks ago
- Compiler frontend for PureScript in Rust☆80Updated this week
- ☆48Updated 4 years ago
- A simple Parser for Roc☆31Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Updated last year