Alternatives and similar repositories for tree-sitter-vscode:

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

• jkoppel / ecta
  ☆34Updated 11 months ago
• LexiFi / menhir
  ☆20Updated 11 months ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 5 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆27Updated last month
• leanprover / lean-client-js
  ☆38Updated last year
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆22Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last month
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆27Updated last year
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 5 years ago
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆24Updated last year
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆34Updated 4 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated this week
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆35Updated 3 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• LocalCharts / silviculture
  ☆15Updated 9 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆25Updated 5 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• faldor20 / jj_tui
  A TUI for the Jujutsu version control system
  ☆58Updated 2 weeks ago
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆104Updated 7 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 2 months ago
• grievejia / pyre-ast
  pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…
  ☆39Updated 8 months ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 8 months ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• lezer-parser / import-tree-sitter
  Helps import tree-sitter grammars
  ☆26Updated 2 years ago