主题 · type-system

type-system

标记 type-system 主题、收录中的开源项目，按星标数排序。

项目数

8

总星标数

62,584

平均星标数

7,823

占比

0.00%

常跟 type-system 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 type-system 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
type-challenges ↗@type-challengesTypeScript
TypeScript 类型挑战集合，配有在线评测
★ 48,489+4近 7 天星标变化
#2
typedb ↗@typedbRust
TypeDB：为系统而建，非仅仅是记录
★ 4,438+8近 7 天星标变化
#3
zui ↗@brimdataTypeScript
Zui 是一款强大的桌面应用程序，用于探索与处理数据。Zed lake 的官方前端。
★ 1,969+1近 7 天星标变化
#4
HypeScript ↗@ronamiTypeScript
🐬 使用 TypeScript 类型系统实现的简化版 TypeScript 类型系统
★ 1,968+3近 7 天星标变化
#5
typed-japanese ↗@typedgrammarTypeScript
🌸 使用 TypeScript 学习日语语法
★ 1,945-1近 7 天星标变化
#6
hash ↗@hashintelTypeScript
🚀 用于自主构建知识图谱与模拟的开源多租户平台
★ 1,649-1近 7 天星标变化
#7
datatype99 ↗@hirrolotC
C99 的代数数据类型
★ 1,508+0近 7 天星标变化
#8
Gradualizer ↗@josefsErlang
Erlang 的渐进式类型系统
★ 618+0近 7 天星标变化

← 返回主题列表