2 repositories on SrcLog
First-class .sage file support in PyCharm: Sage file type, generator-sugar parsing, implicit sage.all namespace, sage run configurations
Generate and install SageMath type stubs for PyCharm, VS Code/Pylance, Pyright, and WSL