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.

🌴 Empowering everyone to build reliable and efficient smart contracts.

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

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.

A Rust compiler front-end for IDEs

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

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

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.

An embeddable dynamic programming language for Rust.

An implementation of the Language Server Protocol for LaTeX

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

Fast SQL formatter/linter

Markdown memory system for you and your AI agent

Python Type Checker / Language Server

A Rust implementation of the Starlark language

ⵣ Ki Editor - Multi-cursor combinatoric modal editor.

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

Unofficial High-Performance Vue.js Toolchain in Rust

Kakoune Language Server Protocol Client

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

Erlang Language Platform. LSP server and CLI.

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.

Toolchain for TON smart contract development and beyond

PCB tooling by Diode Computers, Inc.

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

Refreshing CSS

Modern plain text accounting. Beancount compatible.

The programming language that checks your AI before it runs.

A modern, very customizable text editor, configured in rust

q2 is the experimental implementation of Quarto 2 in Rust.

Language server, formatter, and linter for Markdown, Quarto, and R Markdown

the DATABASE Editor. https://discord.gg/cEe8v2Y7PJ

A bioinformatics workflow engine built on top of the Workflow Description Language (WDL).

Dynamic Intent Resolution Grounding Engine

Terraform for web3. Reproducible deployments and secure operations for Bitcoin, Ethereum and Solana.

Give your agent a proper IDE and OS. The sensorimotor cortex for coding agents (OpenCode + Pi), part of CortexKit: symbol-aware edits, semantic search, code health, fast grep/glob, bash compression, background tasks, PTY.