Search Results for "python software"

Fork of the python-language-server project, maintained by the Spyder IDE team and the community. A Python 3.7+ implementation of the Language Server Protocol. The base language server requires Jedi to provide Completions, Definitions, Hover, References, Signature Help, and Symbols. Like all language servers, the configuration can be passed from the client that talks to this server (i.e. your editor/IDE or another tool that has the same purpose). The details of how this is done depend...

Woke is a Python-based development and testing framework for Solidity. A testing framework for Solidity smart contracts with Python-native equivalents of Solidity types and blazing-fast execution. A property-based fuzzer for Solidity smart contracts that allows testers to write their fuzz tests in Python. See examples and documentation for more information. Fuzzer builds on top of the testing framework and allows efficient fuzz testing of Solidity smart contracts. Woke implements an LSP server...

Hover over any piece of code; if an underline appears, you can press Ctrl to get a tooltip with function/class signature, module documentation or any other piece of information that the language server provides. Critical errors have red underline, warnings are orange, etc. Hover over the underlined code to see a more detailed message. Use the context menu entry, or Alt + 🖱️ to jump to definitions/references (you can change it to Ctrl/⌘ in settings); use Alt + o to jump back. Place your...

HDL Checker is a language server that wraps VHDL/Verilg/SystemVerilog tools that aims to reduce the boilerplate code needed to set things up. It supports Language Server Protocol or a custom HTTP interface; can infer the library VHDL files likely to belong to, besides working out mixed language dependencies, compilation order, interpreting some compiler messages and providing some (limited) static checks. Notice that currently, the unused reports has caveats, namely declarations with the...

Microsoft Python Language Server implements the Language Server Protocol. Its primary clients are the Python extension for VS Code and Python Tools for Visual Studio. Feel free to file issues or ask questions on our issue tracker, and we welcome code contributions. Linting can be controlled via the user configuration. In VS Code, this is settings.json. To control the visibility and severity of the diagnotics, there are a number of lists that can be set in the user configuration which make use...