#Type-system
Showing 11 of 11 repositories tagged #type-system, ranked by stars
Collection of TypeScript type challenges with online judge
TypeDB: Built for systems, not records
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
🌸 Learn Japanese grammar with TypeScript
🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation
📚 Functions and algorithms implemented purely with TypeScript's type system
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
👾 Sokoban Game in Pure TypeScript Type System
Type System for Data Analysis in Python
A safer complement of R, the legendary programming language for statistic and datasciences !
Swift type checking and semantic analysis for developer tools