Found 2 packages
Strict TypeScript and Flow types for style based on MDN data
Compile-time tests for types. Useful to make sure types don't regress into being overly-permissive as changes go in over time.