主题 · 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+0近 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+0近 7 天星标变化
#6
coalton ↗@coalton-langCommon Lisp
Coalton 是一个高效、静态类型的函数式编程语言，能为 Common Lisp 赋能。
★ 1,754+0近 7 天星标变化
#7
type_safe ↗@foonathanC++
零额外开销的实用工具，用于在编译时预防 Bug
★ 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+0近 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-1近 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 天星标变化

← 返回主题列表

相关主题

近期新秀