AlecGhost / tree-sitter-vscode
Bring the power of Tree-sitter to VSCode
☆16Updated last week
Alternatives and similar repositories for tree-sitter-vscode:
Users that are interested in tree-sitter-vscode are comparing it to the libraries listed below
- A pretty printing library☆24Updated 6 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- 1ML prototype interpreter☆19Updated 4 years ago
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- Helpers for incremental operations on map like data structures.☆26Updated 2 months ago
- ☆26Updated 2 years ago
- Code and demos for Reconstructing TypeScript blog posts.☆35Updated last year
- Another attempt to realize my programming language☆23Updated 2 weeks ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Standard ML (SML) grammar for tree-sitter☆15Updated 5 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆25Updated last week
- ☆18Updated 10 months ago
- Formal verification for TypeScript☆14Updated 2 years ago
- ☆36Updated 3 years ago
- ☆12Updated 7 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Unison Codebase UI☆46Updated 2 years ago
- Functional reactive programming with incremental changes in data structures☆52Updated last month
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- Repurpose object literals.☆14Updated 5 years ago
- Light weight runtime for ReScript☆15Updated last year
- Writing multicore programs with Reason☆15Updated 4 years ago
- A Framework for building Batched Concurrent Services☆21Updated 4 months ago
- Dissectible data structures for implementing iterative traversals.☆20Updated 2 years ago
- ☆48Updated 5 months ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆28Updated 5 months ago
- Llama2 inference in one file of pure OCaml.☆27Updated last year