Python's Type Checking Renaissance

• fastapi

  466 70,779 9.8 Python

  FastAPI framework, high performance, easy to learn, fast to code, ready for production

I'm excited about Python's typing potential. I recently rewrote an API from TypeScript to Kotlin since I am fairly unhappy with the server-side TS ecosystem, but ran across https://github.com/tiangolo/fastapi when exploring options and really dig it - seems to be by _far_ the lowest-ceremony way to make an HTTP API with static types that integrate with parsing/validation (something TypeScript is still really bad at, unless you bring your own runtime typing libraries...).

• clj-kondo

  19 1,659 9.1 Clojure

  Static analyzer and linter for Clojure code that sparks joy

  

- https://github.com/clj-kondo/clj-kondo

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• warp

  66 9,140 6.3 Rust

  A super-easy, composable, web server framework for warp speeds. (by seanmonstar)

Rocket is nice but I had a much, much better experience with Warp[0]. I ran into a lot of roadblocks with Rocket, especially with stuff like JWT and working with databases. No such issues with Warp.

0: https://github.com/seanmonstar/warp

• mypy

  112 17,541 9.7 Python

  Optional static typing for Python

  

Yes: https://github.com/python/mypy/tree/master/mypyc

Suggest a related project