facebook/pyrefly

panic: `end byte index 1 is not a char boundary` when writing output report about 12 hours ago

help wanted crash

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feat: update baseline file on file save about 14 hours ago

help wanted language-server baseline

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support `pixi` Python environment discovery 1 day ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support go-to-definition for functional TypedDicts 4 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

share invalidate and invalidate_config_and_validate_in_memory 5 days ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`# type: ignore` does not support specific error codes 5 days ago

help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Confusing error message: Returned type `() -> int` is not assignable to declared return type `() -> int` 6 days ago

typechecking help wanted readability

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

completions auto-import doesn't work on first try after reload 6 days ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - duplicate `KW_ONLY` in dataclass 6 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: Key BoundName already exists with value Any(Error) 7 days ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

"Docstrings from .py when type is from .pyi" is not working 8 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Stack overflow with recursive type definitions 8 days ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Report a warning if the argument expansion limit is hit 8 days ago

typechecking help wanted quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Improve suppression behavior for unused-ignore 8 days ago

configuration typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pydantic union types disable Pyrefly assignment checks 9 days ago

typechecking help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`--min-severity=info` does not work 9 days ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Suggestion entry is shown twice when defining a method 10 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Documentation for environment autoconfiguration of site-package-path is outdated. 10 days ago

documentation help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`reportPrivateUsage` from pyright is not covered by `no-access` 11 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

report an error on untyped base class 11 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

update doc for alias-generators 11 days ago

documentation good first issue pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support Pydantic validators in Annotated fields 13 days ago

typechecking help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature Request: Add option to replace imports with `Any` based on PEP 561 `py.typed` marker 13 days ago

configuration typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Incorrectly implementing the `__call__` method of a `Protocol` does not produce a type error 13 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add a diagnostic for implicit relative imports 13 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature request: implement `method-assign` from `mypy` 13 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

lowercase typing_extensions.sentinel not handled right 14 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`pyrefly init` creates `ignore-missing-imports` paths with overlaps 14 days ago

help wanted quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Quickfix insert parameter types 14 days ago

good first issue language-server infer UI/UX

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Provide a way to unpin the Pyrefly status and move it into the language status menu 15 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

auto complete `__doc__` missing 15 days ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sequence pattern in `match`/`case` with a literal element does not narrow a type out of a union 15 days ago

typechecking help wanted scoping-control-flow

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Bug: False positive `bad-argument-count` for PySpark `Column` methods 16 days ago

typechecking help wanted decorators

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support platform-specific stdlib attribute evaluation in ternary expressions 16 days ago

typechecking help wanted usability quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Docstrings on variables 17 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

feat(typechecking): support SARIF output format 17 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature: `--remove-unused-type-ignores` flag to clean up unused `# type: ignore` comments 18 days ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

stack overflow in LSP for Positron 19 days ago

help wanted crash language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

False positive "Function declared to return `Never` but is missing an explicit `return`" 19 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly ignores suppressions after multi-line nested strings in f-strings 20 days ago

help wanted google

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Dataclass/Pydantic: go-to-def on named arguments in an `__init__` call should go to specific fields 22 days ago

help wanted pydantic language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

highlight for %s in string 23 days ago

good first issue stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

inlay hints debouncing 23 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: `Key Anon already exists with value ClassDef` with fuzzed NamedTuple code 24 days ago

typechecking help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sandbox Report Issue button causes wasm to panic 24 days ago

sandbox help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

warning: hiding a lifetime that's elided elsewhere is confusing 25 days ago

help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`import pandas as pd` completes to `import pandas as pdb` 25 days ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

completions auto-import after import exists 25 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - `TypeVar` redefinition 26 days ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - zero step in slice 26 days ago

typechecking help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support simultaneous full-text and github output 26 days ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

TOML parse error shows incorrect location 27 days ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support show range when hover on `and` `or` 27 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sandbox crash on hovering `None` from `no filesystem on this platform` error 27 days ago

sandbox help wanted crash language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

pytest goto definition support conftest 28 days ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Incorrect union narrowing with `is EnumMember` 28 days ago

typechecking help wanted stale narrowing msgspec

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

False-positive trigger of `unused-variable` when returning a `Generator` 28 days ago

typechecking help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

auto completion order can be optimized a bit 28 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Transforming a tuple loses track of its length 28 days ago

typechecking help wanted google

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

is there a way of disabling automatically adding missing imports to the top when typing argument keywords? 28 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

VSCode Auto-import inserts imports above `from __future__ import annotations` 28 days ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly incorrectly flags valid `dataclass` field named `self` as duplicate and wrong about 1 month ago

typechecking help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

reveal_type don't have code action to import about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban subtyping dataclass with `order=True` about 1 month ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Renaming dataclass property renames class name instead about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: key lacking binding with fuzzed assignment expressions and comprehensions about 1 month ago

help wanted stale crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[pyrefly][completions][auto-import] rank based on deprecated aliases about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

pydantic - `Strict` types are not treated as strict mode about 1 month ago

help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add --dry-run flag to pyrefly infer about 1 month ago

help wanted infer

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban unsafe multiple inheritance about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature request: Warn on unrecognized config keys about 1 month ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

bad-argument-type on Annotated pydantic fields with custom schema about 1 month ago

help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Autocompletion when constructing anonymous `TypedDict` in function calls about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Narrow types based on collection containment about 1 month ago

typechecking help wanted narrowing

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

enum hover should show fields, not call about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

type source not show on field about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

false negative: `Callable[..., ...]` about 1 month ago

good first issue typechecking quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

add code action video and description to IDE features docs about 1 month ago

documentation good first issue help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

report baselined errors as a hint in the language server about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support multiple values for `python-platform` about 1 month ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Inline variable code action - inserts parentheses unnecessarily about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

enh: show more info in `reveal_type` about 1 month ago

configuration help wanted needs-discussion quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

false positive `unannotated-return` for `@no_type_check` function about 1 month ago

good first issue typechecking quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - empty body about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - invalid assignment to `TYPE_CHECKING` about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban `super()` call in `NamedTuple`s about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

report an error when assigning a default value to `self` or `cls` about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

maybe mention pytest support in doc about 2 months ago

documentation help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly reports `missing-import` for workspace package exposed via `.pth` editable install about 2 months ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`untyped-import` false positive on import from `requests` module about 2 months ago

typeshed help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[sandbox] crash when switching to pyrefly.toml tab about 2 months ago

sandbox help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[Feature] Add ability to set command to discover the interpreter about 2 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - useless overload body about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

no error when `@abstractmethod` is used on a non-`ABC` about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - unused `# type: ignore` comment about 2 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`@dataclass` on a `NamedTuple` should be an error about 2 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

lint rule - unused call result about 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

improve the the type parameter missing error about 2 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support whole file suppression for specific error codes (pyrefly: ignore-errors) about 2 months ago

help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

show variance when hovering over generics about 2 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Open Issues Need Help