Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters (1)

Filters

Clear all filters

1–7 of 7 · Most stars

Make your functions return something meaningful, typed, and safe!

  • python
  • python3
  • functional-programming
  • fp

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

Based Python static type checker with baseline, sane default settings and based typing features

  • based
  • python
  • typing
  • baseline

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

  • baseline
  • cli
  • legacy-code
  • mypy