1.type-challenges / type-challengesCollection of TypeScript type challenges with online judgetypescripttypetype-systemchallengesTypeScriptMIT49K total5.3K forks+9 starsfrom 48,545 · score 2.30
2.typedb / typeqlTypeQL: Built for systems, not recordsreasoningquery-languagequeryinferencelogicdatabase+6 moreRustMPL-2.0257 total53 forks+1 starsfrom 256 · score 0.69