Microsoft has unveiled Pyright, an open source static-type-checking system for Python that aims to be faster than existing type-checking solutions for Python such as Mypy. Written in TypeScript and ...

Experimental procedural Python runtime: one function per file, explicit ctx, reloadable ctx.fns, REPL-friendly workflow, generated Pyright typing. - kroq86/proc-py-seed ...

Experimental procedural Python runtime for agent-friendly automation: one function per file, explicit ctx, reloadable ctx.fns, REPL-friendly workflow, and generated Pyright typing. proc-py-seed is ...