Alternatives and similar repositories for tree-sitter-vscode

Users that are interested in tree-sitter-vscode are comparing it to the libraries listed below

• jaredly / unison.rs
  ☆69Updated 2 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆40Updated 7 months ago
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated last week
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• unisonweb / ui-core
  Shared design system and core components for Unison Local and Unison Share
  ☆24Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆15Updated 3 years ago
• unisonweb / ucm-desktop
  A desktop app companion to the UCM CLI
  ☆50Updated this week
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆24Updated 3 years ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆29Updated last month
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 5 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• faldor20 / jj_tui
  A TUI for the Jujutsu version control system
  ☆78Updated last week
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 3 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated this week
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 11 months ago
• samhh / tshm
  A parser and formatter for TypeScript declarations that outputs HM-style type signatures.
  ☆31Updated 2 years ago
• janestreet / incr_map
  Helpers for incremental operations on map like data structures.
  ☆26Updated last month
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆40Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆24Updated this week
• jkoppel / ecta
  ☆35Updated last year
• c-cube / linol
  Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
  ☆34Updated 3 months ago
• postsolar / tree-sitter-purescript
  ☆20Updated last month
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆25Updated last year
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆59Updated last month
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆20Updated 2 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago