Language Server Protocol server for Lean 3
Types used by the Language server for node
Language server implementation for node
VSCode Language Server Protocol implementation
Renders highlighted Prism output using React
Attach virtuals to the results of mongoose queries when using `.lean()`
YAML language server
No description provided.
VSCode Language client implementation
Language Server Protocol (LSP) implementation for TypeScript using tsserver
A simple text document implementation for Node LSP servers
The official, runtime independent Language Service for GraphQL
A language engineering tool for the Language Server Protocol
Attach defaults to the results of mongoose queries when using `.lean()`
Your AI pair programmer
A highlightjs language grammar for the Lean theorem proving language.
Get an iterator for any JS language value. Works robustly across all environments, all versions.
Developer friendly Natural Language Processing ✨
<p> <a href="https://www.npmjs.com/package/@vue/language-core"><img src="https://img.shields.io/npm/v/@vue/language-core.svg?labelColor=18181B&color=1584FC" alt="NPM version"></a> <a href="https://github.com/vuejs/language-tools/blob/master/LICENSE"><
A language server for Bash
Apply getters to the results of mongoose queries when using `.lean()`
Copilot Language Server binary for darwin-arm64
Schema validation for the mutation server protocol (MSP).
Tailwind CSS Language Server