lsp-types

A modern runtime for JavaScript and TypeScript.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Warp is an agentic development environment, born out of the terminal.

🌴 Empowering everyone to build reliable and efficient smart contracts.

An extremely fast Python linter and code formatter, written in Rust.

A new type of shell

Lightning-fast and Powerful Code Editor written in Rust

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

Adds static typing to JavaScript to improve developer productivity and code quality.

⭐️ A friendly language for building type-safe, scalable systems!

Relay is a JavaScript framework for building data-driven React applications.

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)

Terminal based IDE & text editor: easy, powerful and fast

A fast type checker and language server for Python

A Language Server for Postgres

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Build system, successor to Buck

LeanCTX — the Context OS for AI development. One local binary that compresses, remembers, routes, and verifies every token between your code and the model. 63 MCP tools, 10 read modes, up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini.

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Better configuration for less

An embeddable dynamic programming language for Rust.

A Lua code formatter

An implementation of the Language Server Protocol for LaTeX

Zedis: A blazing-fast, native Redis GUI built with Rust and GPUI.

Markdown memory system for you and your AI agent

Fast SQL formatter/linter

Python Type Checker / Language Server

A Rust implementation of the Starlark language

ⵣ Ki Editor - Multi-cursor combinatoric modal editor.

Unofficial High-Performance Vue.js Toolchain in Rust

A parser, formatter, validator, and language server for SQLite SQL. Built on SQLite's own grammar and tokenizer

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

Kakoune Language Server Protocol Client

Fastest SVG toolchain for optimisation, minification, linting, and actions. Usable via CLI, Node, Wasm, or Rust.

Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust

The Native Terminal Emulator with a builtin AI Harness

User interface engine with an integrated vector design tool, built in Rust

Dora VM

A fast VHDL language server and analysis library written in Rust

Toolchain for TON smart contract development and beyond

Erlang Language Platform. LSP server and CLI.

PCB tooling by Diode Computers, Inc.

IAM Policy Autopilot is an open source static code analysis tool that helps you quickly create baseline AWS IAM policies that you can refine as your application evolves. This tool is available as a command-line utility and MCP server for use within AI coding assistants for quickly building IAM policies.

The next-generation game engine that you deserve implemented in rust on top of GPUI https://pulsarnative.com/

Modern plain text accounting. Beancount compatible.

Refreshing CSS

Dynamic Intent Resolution Grounding Engine

Navop combines Navigate and Operation—a unified workspace that helps developers navigate and operate databases, servers, terminals, and AI tools from one place.