Python static-typing

Open-source Python projects categorized as static-typing
Edit details
Python Mypy Typing Python3 Static Analysis
Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com
featured

Top 7 Python static-typing Projects

static-typing

  • typing

    Python static typing home. Hosts the documentation and a user help forum.

  • Scout Monitoring

    Free Django app performance insights with Scout Monitoring. Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.

    Scout Monitoring logo

  • prometeo

    An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing

    Project mention: Borgo is a statically typed language that compiles to Go | news.ycombinator.com | 2024-04-30

    Not impossible but I guess you might end up with an extra runtime layer and some more dynamic operations will not be very fast. Or you restrict it to a subset of Python like this project does: https://github.com/zanellia/prometeo

    You could of course write a bytecode VM in Golang but I guess that defeats the purpose.

  • phantom-types

    Phantom types for Python.

  • micropython-stubber

    Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy

  • cpython

    Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim (by juancarlospaco)

  • 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.

  • mypy-zope

    Plugin for mypy to support zope.interface

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Python static-typing discussion

Log in or Post with

Python static-typing related posts

  • Library for single dispatch on Generic subscript

    1 project | /r/learnpython | 9 Feb 2023

  • Thoughts on nested / inner functions in Python for better encapsulation and clarity?

    1 project | /r/Python | 9 Jan 2023

  • Sunday Daily Thread: What's everyone working on this week?

    2 projects | /r/Python | 9 Oct 2022

  • How to be more Literal in Python

    1 project | dev.to | 26 Aug 2022

  • Python 3.11.0b1 is out! Python 3.11 is now in feature freeze mode!

    1 project | /r/Python | 8 May 2022

  • Type annotations: how to express list contravariance?

    1 project | /r/learnpython | 8 Nov 2021

  • The most dangerous problem in mathematics

    1 project | /r/Chodi | 5 Aug 2021
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 8 Sep 2024
    InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards. Learn more →

Index

What are some of the best open-source static-typing projects in Python? This list will help you:

Project Stars
1 typing 1,576
2 prometeo 620
3 phantom-types 194
4 micropython-stubber 172
5 cpython 142
6 mypy-baseline 51
7 mypy-zope 38

Sponsored
Free Django app performance insights with Scout Monitoring
Get Scout setup in minutes, and let us sweat the small stuff. A couple lines in settings.py is all you need to start monitoring your apps. Sign up for our free tier today.
www.scoutapm.com