Repository Index

Optional static typing for Python

• python
• types
• typing
• typechecker

Independent set of GDScript tools - parser, linter, formatter, and more

• gdscript
• godot
• formatter
• linter

A Python type checker

• linter
• python
• static-analysis
• typechecker

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

• micropython
• vscode
• type-checking
• static-typing