Python type-checking

Open-source Python projects categorized as type-checking

Top 4 Python type-checking Projects

  • thinc

    🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

  • Project mention: JAX – NumPy on the CPU, GPU, and TPU, with great automatic differentiation | | 2023-09-28

    Agree, though I wouldn’t call PyTorch a drop-in for NumPy either. CuPy is the drop-in. Excepting some corner cases, you can use the same code for both. Thinc’s ops work with both NumPy and CuPy:

  • caer

    High-performance Vision library in Python. Scale your research, not boilerplate.

  • 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
  • python-blueprint

    🐍 Example Python project using best practices 🥇

  • Project mention: Which scaffolding package should I use? | /r/Python | 2023-11-02

    I used to build It uses poetry to manage dependencies, sets up automatic linting, testing, and type checking with nox and gets it running with GitHub Actions. It is continually being updated and stays up to date modern Python tooling (ruff, nox, poetry, etc). Not sure why the comments are being so discouraging, but regardless if you are looking to publish a polished library, its super helpful to have these things setup for you.

  • infer-types

    A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

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


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

Project Stars
1 thinc 2,787
2 caer 749
3 python-blueprint 525
4 infer-types 73

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