Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/emacs-elsa/Elsa
Emacs Lisp Static Analyzer and gradual type system.
elsa emacs emacs-lisp gradual-typing static-analysis
Last synced: 11 Jun 2024
https://github.com/python/typing
Python static typing home. Hosts the documentation and a user help forum.
gradual-typing python static-typing types typing
Last synced: 05 Jun 2024
https://github.com/orsinium-labs/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.
baseline cli gradual-typing legacy-code mypy python python3 static-typing typing
Last synced: 28 Apr 2024
