Optional static typing for Python
- python
- types
- typing
- typechecker
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
- dynamic
- readme
- profile-readme
- svg
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
Open-source data modeling tool designed for PostgreSQL. No more typing DDL commands. Let pgModeler do the work for you!
- c-plus-plus
- entity-relationship-diagram
- ddl-commands
- sql-standards
Getting serious about Vulkan development with this modern C++ framework, battle-tested in rapid prototyping, research, and teaching. Includes support for real-time ray tracing (RTX), serialization, and meshlets.
A Python type checker
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Useful tools for Sorbet enthusiasts
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
Quickly run NPM script by prefix without typing the full name
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 plugin for Flake8 that provides specializations for type hinting stub files
- flake8
- python
- linter
- linter-plugin
Happy SDK is an open-source Go framework for building fast, reliable applications. Its modular tools simplify development and prototyping, supporting integration with multi-language projects for technical and non-technical users.
- golang
- go
- happy
- developer-tools
Make mypy more effective
- mypy
- python
- typing
- mypy-stubs