Home of the Renovate CLI: Cross-platform Dependency Automation by Mend.io
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
A fast type checker and language server for Python
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Markdown linting and style checking for Visual Studio Code
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
Spelling, grammar and style checking on LaTeX documents
- latex
- grammar-checker
- spell-check
- spell-checker
Code style checking for RSpec files.
- ruby
- rubocop
- lint
- testing
A high-performance static analysis toolkit for Ruby
- ruby
- static-analysis
- type-checking
Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
An Elixir tool for checking safety of database migrations.
- elixir
- static-analysis
- code-analysis
- credo
A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking
- graphql-schema
- dotnet-cli
- fable
- graphql
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
a checker for the geojson format. goes beyond a schema, checking semantics and producing character-level warnings.
A plugin for Flake8 that provides specializations for type hinting stub files
- flake8
- python
- linter
- linter-plugin
Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.