GitHub repository: majjoha/typology
Primary language: TypeScript
Description: Playground for exploring type-level programming.