An analysis tool for Python that blurs the line between testing and type systems.
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
Hindley–Milner type inference implemented in Python.
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.
Automatic TypeScript client generation for FastAPI with full-stack SvelteKit integration. Build modern, type-safe web applications with Python backend + SvelteKit frontend. Zero Node.js knowledge required.
Add a description, image, and links to the type-systems topic page so that developers can more easily learn about it.
To associate your repository with the type-systems topic, visit your repo's landing page and select "manage topics."