Python static-typing

Open-source Python projects categorized as static-typing
Edit details
Topics: Python Mypy Python3 Typing Static Analysis
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 7 Python static-typing Projects

  • typing

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

    • Project mention: Writing Python like it’s Rust | /r/programming | 2023-05-21

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

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

  • 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

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub 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 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 | 10 May 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. 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,548
2 prometeo 610
3 phantom-types 183
4 micropython-stubber 152
5 cpython 136
6 mypy-baseline 47
7 mypy-zope 38

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com