type-inference topic
ts-pattern
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
psychec
A compiler frontend for the C programming language
visions
Type System for Data Analysis in Python
L2
A minimalist type-inferred programming language with procedural macro support
tea
Programming is like drinking tea.
pysonar2
PySonar2: a semantic indexer for Python with interprocedual type inference
zod
TypeScript-first schema validation with static type inference
psalm
A static analysis tool for finding errors in PHP applications
Codextended
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️