phantom-types
micropython-stubber
Our great sponsors
| phantom-types | micropython-stubber | |
|---|---|---|
| 2 | 1 | |
| 183 | 151 | |
| - | - | |
| 6.5 | 9.7 | |
| 3 months ago | about 21 hours ago | |
| Python | Python | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
phantom-types
-
Sunday Daily Thread: What's everyone working on this week?
I've written and published about a static type checking technique and a library of mine that implements it: phantom-types.
- Phantom Types in Python
micropython-stubber
-
Error: pip install machine
You need to generate the stubs of the MicroPython libraries. See https://github.com/Josverl/micropython-stubber
What are some alternatives?
typeforce - Make mypy more effective
prometeo - An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
django-stubs - PEP-484 stubs for Django
typing - Python static typing home. Hosts the documentation and a user help forum.
classes - Smart, pythonic, ad-hoc, typed polymorphism for Python
mypy_boto3_builder - Type annotations builder for boto3 compatible with VSCode, PyCharm, Emacs, Sublime Text, pyright and mypy.
returns - Make your functions return something meaningful, typed, and safe!
mypy-zope - Plugin for mypy to support zope.interface
mmpm - MagicMirror Package Manager
cpython - Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
sqlalchemy-stubs - Mypy plugin and stubs for SQLAlchemy
mypy-baseline - Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.