type-safety 开源项目推荐（841 个）

47ng /nuqs

面向 React 框架的类型安全搜索参数状态管理器——类似 useState，但存储在 URL 查询字符串中。

millsp /ts-toolbelt

TypeScript 最大的类型工具库

dry-python /returns

让你的函数返回有意义、带类型且安全的内容！

adelsz /pgtyped

pgTyped - TypeScript 中的类型安全 SQL

checkedc /checkedc

C是C的扩展，允许程序员编写具有边界检查和改进类型安全性的C代码。目标是让人们轻松地使现有的C代码类型安全并消除整个错误类别。

JSMonk /hegel

一个高级静态类型检查器

coalton-lang /coalton

Coalton 是一门高效的静态类型函数式编程语言，为 Common Lisp 提供强大增强。

rustedpy /result

Not Maintained -一个简单的Rust，类似Python 3的Report类型。完全输入注释。

foonathan /type_safe

零开销工具，用于在编译时防止错误

pointfreeco /swift-tagged

用于更安全、更具表现力的代码的包装类型。

dry-rb /dry-validation

具备类型安全 schema 和规则的校验库

mockdeep /typewiz

自动发现并补全 TypeScript 代码中缺失的类型

pointfreeco /swift-nonempty

在编译时保证集合包含某个值。

magmide /magmide

一门依赖类型的证明语言，旨在让在职软件工程师能够编写可证明正确的裸机代码。

graphql-nexus /nexus-plugin-prisma

已弃用

gajus /flow-runtime

面向 JavaScript 的运行时类型系统，完全兼容 Flow。

stepchowfun /typical

使用代数数据类型进行数据交换。

rescript-association /genType

自动生成 Reason 与 JavaScript 之间的惯用绑定：可为原生 JavaScript，也可用 TypeScript/FlowType 进行类型化。

olshevski /compose-navigation-reimagined

Jetpack Compose 的类型安全导航库

jondgoodwin /cone

Cone 编程语言