type-challenges /type-challenges
带有在线评测的 TypeScript 类型挑战合集
TypeScript4.9 万
type-system 开源项目推荐（395 个）
type-system 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
20收录项目
7.3 万Star 总量
4覆盖语言
相关标签
热门项目 前 20
按 Star 数排序展示前 20 个 · GitHub 共 395 个仓库
typedb /typedb
TypeDB: Built for systems, not records
Rust4504
amilajack /reading
A list of computer-science readings I recommend
3666
superdb /zui
Zui 是一款用于探索和处理数据的强大桌面应用，是 Zed lake 的官方前端。
TypeScript1983
ronami /HypeScript
🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
TypeScript1967
typedgrammar /typed-japanese
用 TypeScript 学习日语语法
TypeScript1954
hashintel /hash
🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation
TypeScript1688
ronami /meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
TypeScript1570
skyzh /type-exercise-in-rust
通过构建类型安全、自动向量化的数据库表达式引擎来学习进阶 Rust
Rust1519
hirrolot /datatype99
Algebraic data types for C99
C1515
pikelet-lang /pikelet
一种友好的小系统语言，拥有一流的类型。非常在进行中！🚧 🚧 🚧
Rust621
josefs /Gradualizer
A Gradual type system for Erlang
Erlang618
sdiehl /typechecker-zoo
A menagerie of cute implementations of modern typechecking algorithms
Rust466
mistlog /typetype
A programming language designed for typescript type generation
TypeScript423
cyberuni /type-plus
Additional types and types adjusted utilities for TypeScript
TypeScript412
hirrolot /interface99
面向 C99 的全功能接口
C359
ronami /typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
TypeScript313
fc01 /TypeGame
👾 Sokoban Game in Pure TypeScript Type System
TypeScript284
yeslogic /fathom
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Rust264
typedb /typeql
TypeQL: Built for systems, not records
Rust257
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 20 个项目；原始页面见 https://github.com/topics/type-system。
- 该话题在 GitHub 上共有 395 个仓库， 本站收录的是其中最热门的 20 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 20 个项目累计 7.3 万 Star，覆盖 4 种主要语言，数据更新于 2026-11-08。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。