GitHub repository: EdamAme-x/nextyping
Primary language: TypeScript
Description: Next generation type system for TypeScript?