Kotlin 是一种开源的静态类型编程语言，由 JetBrains 和开源社区共同开发维护。Kotlin 的主要优势之一在于其对多平台编程的强大支持。Kotlin 能够显著减少为不同平台编写和维护重复代码所需的时间，同时保留了原生编程的灵活性和优势。
Kotlin 24 次浏览
phpmd是一款用于PHP代码的静态检查工具，能够寻找源代码中的潜在问题，如可能的错误、不够优化的代码、过于复杂的表达式以及未使用的参数、方法和属性。
PHP 19 次浏览
matchkin 是一个 TypeScript 库，用于创建可以静态证明是详尽无遗的值匹配器。它确保处理所有可能的值，并提供额外的好处： 始终需要默认块，确保所有情况都得到处理。 在类型系统确信处理了所有情况时，禁止默认回退。 创建匹配器的调用会得到静态检查，以确保可以对结果匹配器执行。
Typescript 20 次浏览
nebcontractchecker提供了对星云链Javascript智能合约进行静态检查的能力，安装依赖nodejs 8+即可开始构建。 具体用法：1. 使用Node.js运行后台/ index.js2. 访问index.html
Nodejs 22 次浏览
ImageScout 是一个由 Swift 实现的库。它允许您在下载远程图像之前，快速确定其 大小 和 类型，从而避免不必要的数据传输。有时候，您可能需要在下载图像之前，了解其 大小，例如，在 UICollectionView 中使用自定义布局时。ImageScout 会解析下载的图像数据，并在获取
Swift 0 次浏览
TS-Expect使用TypeScript编译器检查值是否符合预期类型。它导出了一个不执行任何操作的函数expectType，而是依赖TypeScript编译器，对传递给expectType的值的类型进行测试，该类型可以在类型系统中分配给它的泛型。 ts-expect让您明确定义传递值的类型，以便编
Typescript 17 次浏览
网页是结婚类型的。适用于懂html的技术人员。压缩包中包含了css代码文件，图片文件，javascript代码文件。
Javascript 22 次浏览