Write Markdown with code assist and intelligence in the comfort of your favourite editor.

Marksman is a program that integrates with your editor to assist you in writing and maintaining your Markdown documents. Using LSP protocol it provides completion, goto definition, find references, rename refactoring, diagnostics, and more. In addition to regular Markdown, it also supports wiki-link-style references that enable Zettelkasten-like1, 2 note taking. See more about Marksman's features below.

An extremely fast Python type checker and language server, written in Rust.

Related contents:

• Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers @ Edward Li's Blog.

A collection of language tools and a Language Server Protocol (LSP) implementation for Postgres, focusing on developer experience and reliable SQL tooling.

• Postgres Language Server @ GitHub.

Related contents:

• Postgres Language Server: Initial Release @ Supabase blog.

SQL language server written in Go.

sqls aims to provide advanced intelligence for you to edit sql in your own editor.

Harper is an English grammar checker designed to be just right. I created it after years of dealing with the shortcomings of the competition.

• Harper @ GitHub.

Related contents:

• Footguns of the Rust WebAssembly Target @ Elijah Potter.

HTML Language Server and Templating Language Library.

• The Static Site Paradox @ Loris Cro.

Langium is an open source language engineering tool with first-class support for the Language Server Protocol, written in TypeScript and running in Node.js.

Langium @ GitHub.

A community-driven source of knowledge for Language Server Index Format implementations

LSIF.dev is a community-driven site, maintained by Sourcegraph, to track development progress of LSIF indexers. Join our Discord.