Here are
12 public repositories
matching this topic...
Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.
Updated
Jun 27, 2021
Python
Updated
May 16, 2021
Python
Plugin for mypy to support zope.interface
Updated
Jun 24, 2021
Python
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
Updated
Feb 18, 2021
Python
The highly-reflective object-oriented Python web framework
Updated
Jun 18, 2021
Python
A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
Updated
Jul 7, 2021
Python
Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
Updated
Jul 24, 2021
Python
Issue tracker for PEP 561 with sample typed package
Updated
Jan 7, 2019
Python
Python stub file that contains typing information for various AWS services' lambda handler functions
Updated
Nov 3, 2019
Python
Replace string literal type hints
Updated
Mar 15, 2021
Python
The prototype of the compiler for the Ehlit language
Updated
Apr 27, 2019
Python
Improve this page
Add a description, image, and links to the
static-typing
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
static-typing
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
It's proven useful elsewhere :)