Pyrefly
1 like
Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and a VSCode extension.
Cost / License
- Free
- Open Source
Platforms
- Python
- Visual Studio Code
- Linux
- Mac
- Windows
- BSD
Features
Properties
- Customizable
Features
- Syntax Highlighting
- Code Completion
- Code navigation
Tags
- Python
- type-checker
- typechecker
- Language Server Protocol
Pyrefly News & Activities
Highlights All activities
Recent activities
Pyrefly information
Developed by
Meta Licensing
Open Source (MIT) and Free product.Written in
Alternatives
15 alternatives listedSupported Languages
- English
AlternativeTo Category
DevelopmentGitHub repository
- 5,048 Stars
- 225 Forks
- 444 Open Issues
- Updated
No comments or reviews, maybe you want to be first?
Post comment/reviewWhat is Pyrefly?
Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and a VSCode extension.
Key features:
- Type Inference: Pyrefly infers types in most locations, apart from function parameters. It can infer types of variables and return types.
- Flow Types: Pyrefly can understand your program's control flow to refine static types.
- Incrementality: Pyrefly aims for large-scale incrementality at the module level, with optimized checking and parallelism.