主題 · type-safety

type-safety

標記 type-safety 主題、收錄中的開源專案，依星數排序。

專案數

總星數

41,815

平均星數

2,201

佔比

0.00%

常跟 type-safety 一起出現在同一個專案上的主題。

近期新秀

近 90 天內建立、標記 type-safety 主題的專案。

近 90 天內還沒有新專案標記這個主題。

#1
nuqs ↗@47ngTypeScript
型別安全的搜尋參數狀態管理器，適用於 React 框架——類似 useState，但儲存在 URL 查詢字串中。
★ 10,795+19近 7 天星數變化
#2
ts-toolbelt ↗@millspTypeScript
👷 TypeScript 最大型別工具函式庫
★ 7,153+0近 7 天星數變化
#3
returns ↗@dry-pythonPython
讓你的函式返回有意義、類型安全的結果
★ 4,357+0近 7 天星數變化
#4
pgtyped ↗@adelszTypeScript
pgTyped - TypeScript 中的類型安全 SQL
★ 3,276+0近 7 天星數變化
#5
checkedc ↗@checkedcC
Checked C 是 C 的擴充，允許程式設計師以邊界檢查與改進型別安全寫 C 程式碼。目標是讓使用者輕鬆將現有 C 程式碼轉為型別安全，消除整類錯誤
★ 3,258+1近 7 天星數變化
#6
coalton ↗@coalton-langCommon Lisp
Coalton 是一個高效、靜態類型的函數式程式語言，能為 Common Lisp 賦能。
★ 1,754+1近 7 天星數變化
#7
type_safe ↗@foonathanC++
零額外開銷的公用程式，用於在編譯時期預防臭蟲
★ 1,650+0近 7 天星數變化
#8
swift-tagged ↗@pointfreecoSwift
🏷 一種用於更安全、更具表達力程式碼的包裝型別。
★ 1,629+0近 7 天星數變化
#9
dry-validation ↗@dry-rbRuby
具備型別安全結構與規則的驗證函式庫
★ 1,422+0近 7 天星數變化
#10
swift-nonempty ↗@pointfreecoSwift
🎁 編譯時期保證集合包含數值。
★ 886+1近 7 天星數變化
#11
magmide ↗@magmideRocq Prover
一種依賴型別證明語言，旨在讓軟體工程師能夠編寫可證明正確的裸機程式碼。
★ 835+0近 7 天星數變化
#12
nexus-plugin-prisma ↗@graphql-nexusTypeScript
已棄用
★ 817+1近 7 天星數變化
#13
typical ↗@stepchowfunRust
使用代數資料型別進行資料交換。
★ 767+0近 7 天星數變化
#14
compose-navigation-reimagined ↗@olshevskiKotlin
適用於 Jetpack Compose 的型別安全導航函式庫
★ 569+0近 7 天星數變化
#15
cone ↗@jondgoodwinC
Cone 程式語言
★ 558+0近 7 天星數變化
#16
cadence ↗@onflowGo
Cadence：Flow 網路的資源導向智慧合約程式語言。具備基於能力的安全性、型別安全與移動語意。
★ 548+0近 7 天星數變化
#17
checkedc-clang ↗@checkedcC++
此儲存庫包含一個正在修改以支援 Checked C 的 clang 版本。Checked C 是 C 語言的擴充，讓程式設計師能編寫經編譯器保證型別安全的 C 程式碼。
★ 516+0近 7 天星數變化
#18
remix-forms ↗@seasonedccTypeScript
React Router 的全端表單解決方案
★ 514+0近 7 天星數變化
#19
structopt ↗@p-ranavC++
透過定義結構體來解析命令列參數
★ 511+0近 7 天星數變化

← 返回主題列表

相關主題

近期新秀