resource: type-system
17 resources, primary matches first, then adoption-weighted; health v2 shown.
| Resource | Health v2 | Stars | Maturity |
|---|---|---|---|
| type-challenges/type-challenges A collection of TypeScript type-level programming challenges with an online judge for verifying solutions. It helps developers learn and ma… | 69 | 48474 | active |
| typescript-exercises/typescript-exercises A set of interactive TypeScript exercises designed to teach the language's type system, from basic typing to advanced type mapping and gene… | 66 | 3004 | active |
| xcatliu/typescript-tutorial An open-source Chinese-language introductory tutorial book for TypeScript, written from the perspective of JavaScript programmers. It is pu… | 32 | 10737 | maintenance |
| typeddjango/awesome-python-typing A curated awesome-list of Python typing resources, including static and dynamic type checkers, stub packages, mypy plugins, and related too… | 72 | 1980 | active |
| ronami/HypeScript HypeScript is a simplified reimplementation of TypeScript's type system written entirely in TypeScript type annotations, with no runtime co… | 34 | 1965 | active |
| danvk/effective-typescript The companion code-sample repository for the book 'Effective TypeScript: 83 Specific Ways to Improve Your TypeScript' (O'Reilly, 2nd Editio… | 49 | 1842 | active |
| python/typing The official home for Python's static typing system, hosting the type system specification, documentation at typing.python.org, a user supp… | 77 | 1779 | active |
| plfa/plfa.github.io Programming Language Foundations in Agda (PLFA) is a free online textbook teaching programming language theory using the Agda proof assista… | 67 | 1513 | active |
| ghoullier/awesome-template-literal-types A curated awesome-list of TypeScript Template Literal Types examples, articles, videos, and handbook links. It showcases advanced type-leve… | 36 | 1223 | active |
| dotnet/standard The repository for the .NET Standard specification, which defines a common set of .NET APIs that libraries can target across .NET implement… | 10 | 3037 | maintenance |
| niieani/typescript-vs-flowtype A community-maintained reference document comparing the syntax, usage, and usability of TypeScript and Flow type checkers. It catalogs diff… | 32 | 1728 | maintenance |
| tomprimozic/type-systems A collection of minimal, well-commented OCaml implementations of various advanced type systems, including Algorithm W, extensible rows, fir… | 32 | 1603 | maintenance |
| ronami/meta-typing A collection of functions and algorithms implemented purely with TypeScript's type system, with detailed comments explaining each implement… | 32 | 1574 | maintenance |
| cassiozen/TDungeon TDungeon is a small text adventure game implemented entirely within the TypeScript type system, playable in the TypeScript Playground. It i… | 32 | 1189 | maintenance |
| tc39/proposal-type-annotations A Stage 1 TC39 proposal to add erasable type annotation syntax to ECMAScript, so JavaScript engines treat type syntax as comments. It aims … | 50 | 4386 | experimental |
| sdiehl/write-you-a-haskell A free online book by Stephen Diehl that teaches how to build a modern functional language compiler from first principles in Haskell. It co… | 32 | 3482 | maintenance |
| terrajobst/minsk Minsk is a handwritten compiler written in C# that illustrates basic compiler construction concepts, inspired by Roslyn. It exposes APIs fo… | 32 | 1124 | maintenance |
page 1 / 1