主題 · 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 天星數變化

← 返回主題列表