Python static-typing

Open-source Python projects categorized as static-typing
Edit details
Python Mypy Typing Python3 Static Analysis
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured

Top 7 Python static-typing Projects

static-typing

  1. typing

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

    Project mention: Ask HN: Which Open Source License to Choose for a Python Language Server | news.ycombinator.com | 2025-08-31

    [1]: https://htmlpreview.github.io/?https://github.com/python/typing/blob/main/conformance/results/results.html

  2. Civic Auth

    Simple auth for Python backends. Drop Civic Auth into your Python backend with just a few lines of code. Email login, SSO, and route protection built-in. Minimal config. Works with FastAPI, Flask, or Django.

    Civic Auth logo

  3. prometeo

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

  4. micropython-stubber

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

  5. phantom-types

    Phantom types for Python.

  6. cpython

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

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

    Project mention: Mypy-baseline: make Mypy report only new violations | news.ycombinator.com | 2024-11-27

  8. mypy-zope

    Plugin for mypy to support zope.interface

  9. Sevalla

    Deploy and host your apps and databases, now with $50 credit! Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!

    Sevalla 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

  • Ask HN: Which Open Source License to Choose for a Python Language Server

    1 project | news.ycombinator.com | 31 Aug 2025

  • Python Type System Conformance Test Results

    3 projects | news.ycombinator.com | 29 Nov 2024

  • 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
  • A note from our sponsor - Civic Auth
    www.civic.com | 31 Aug 2025
    Drop Civic Auth into your Python backend with just a few lines of code. Email login, SSO, and route protection built-in. Minimal config. Works with FastAPI, Flask, or Django. 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,675
2 prometeo 641
3 micropython-stubber 228
4 phantom-types 224
5 cpython 148
6 mypy-baseline 68
7 mypy-zope 40

Sponsored
Simple auth for Python backends
Drop Civic Auth into your Python backend with just a few lines of code. Email login, SSO, and route protection built-in. Minimal config. Works with FastAPI, Flask, or Django.
www.civic.com

Did you know that Python is
the 2nd most popular programming language
based on number of references?

Loading...