Shape Typing in Python

• drizzle-orm

  48 19,921 9.7 TypeScript

  Headless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅

  

Having migrated my application's Python and JS codebases to their typed siblings respectively last year, my 2c is that Python typing feels good and worthwhile when you're in the standard lib, but _awful_ (and net-negative) once you leave "normal Python" for the shores of third-party packages, particularly ones that lean heavily on duck typing (Django and BeautifulSoup both come to mind.)

This is where some of the stuff in the TypeScript ecosystem really shines, IMHO — being able to have a completely typesafe ORM such as Drizzle (https://orm.drizzle.team/) feels like a Rubicon moment, and touching anything else feels like a significant step backwards.

• safecheck

  1 1 5.0 Python

  Opinionated combination of typechecking libraries for fun and profit.

There are libraries that support shape checking and I‘ve written a package to combine beartype’s runtime typechecks with jaxtyping‘s shapechecks, see https://github.com/davnn/safecheck

Once accustomed to shape checking it‘s quite a boost in productivity for us, no more fiddling around with invalid dimensions.

• InfluxDB

  www.influxdata.com featured

  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.

  

• dfdx

  22 1,611 8.7 Rust

  Deep learning in Rust, with shape checked tensors and neural networks

• vimspector

  100 4,020 8.0 Vim Script

  vimspector - A multi-language debugging system for Vim

Suggest a related project