awesome-python-typing

Open-source projects categorized as awesome-python-typing
Language: + OCaml + Python

awesome-python-typing Open-Source Projects

  • pyre-check

    Performant type-checking for python.

  • Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11

    Did you come across pyre in your search? MIT license and pretty fast.

    https://github.com/facebook/pyre-check

  • typeshed

    Collection of library stubs for Python, with static types

  • Project mention: What's the point of using `Any` in Union, such as `str | Any` | /r/learnpython | 2023-08-17

    "csv.pyi is from VS Code Pylance extension" is misleading. Yes, it's included in the code base of the extension, but it's likely originally from python/typeshed. I diffed csv.pyi in the extension and the repository, and they're exactly the same.

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

awesome-python-typing related posts

  • What's the point of using `Any` in Union, such as `str | Any`

    1 project | /r/learnpython | 17 Aug 2023
  • Importing python libraries "Cannot find implementation or library stub for module named ..."

    1 project | /r/neovim | 5 Jul 2023
  • Are there any sectors that use Haskell as a main programming language?

    2 projects | /r/haskell | 1 Apr 2023
  • Ask HN: Will we see a TypeScript for Python?

    2 projects | news.ycombinator.com | 26 Feb 2023
  • When the client's management is happy but their dev team is a pain

    8 projects | /r/ProgrammerHumor | 31 Jan 2023
  • Offer to Type Hint API's, or Start a Statically Typed Python?

    1 project | /r/Python | 25 Jan 2023
  • Ruby 3.2’s YJIT is Production-Ready

    8 projects | news.ycombinator.com | 17 Jan 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 7 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

Project Stars
1 pyre-check 6,695
2 typeshed 4,076

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