type-checking

👷 TypeScript 最大类型工具库

面向人类的函数参数验证

🔮 一种令人耳目一新的函数式深度学习方法，与您喜爱的库兼容

Teal 的编译器，Teal 是一种具备类型的 Lua 方言

Ruby 的类型签名语言

Python 类型检查器 / 语言服务器

Python高性能Vision库。扩展你的研究，而非重复的代码。

🗺️ 使用最佳实践的 Python 项目示例 🐍 https://github.com/johnthagen/python-blueprint

🏝 通过 Elixir 函数与 Mock 的类型检查来实现自动化合约测试

TypeCheck：为 Elixir 项目提供快速且灵活的运行时类型检查。