discover · compare · collections · requirements · contribute · feed · watching · stats · help with your tokens
meta/pyrefly
A fast type checker and language server for Python
History and source changes · Reports and owner responses · Compare
Similar
- python/mypy
Optional static typing for Python
Why this match
topics python, typechecker, types; language differs: Rust → Python
- neovim/nvim-lspconfig
Quickstart configs for Nvim LSP
Why this match
topics language-server, language-server-protocol, lsp; language differs: Rust → Lua; license differs: MIT → Apache-2.0
- meta/pyre-check
Performant type-checking for python.
Why this match
topics code-quality, python, type-check; language differs: Rust → OCaml
- eclipse-theia/theia
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Why this match
topics ide, language-server-protocol; language differs: Rust → TypeScript; license differs: MIT → EPL-2.0
- spyder-ide/spyder
Official repository for Spyder - The Scientific Python Development Environment
Why this match
topics ide, language-server-protocol, python; language differs: Rust → Python
- a-h/templ
A language for writing HTML user interfaces in Go.
Why this match
topics language-server, lsp; language differs: Rust → Go
- microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Why this match
topics typechecker; language differs: Rust → Go; license differs: MIT → Apache-2.0
- oraios/serena
A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent
Why this match
topics ide, language-server; language differs: Rust → Python