GitHub repository: spatie/typed
Primary language: PHP
Description: Improvements to PHP's type system in userland: generics, typed lists, tuples and structs