98.2k

编程语言

TypeScript

TypeScript是JavaScript的超集，可编译以干净的JavaScript输出。(TypeScript is ...

3.6k

TypeScript

FastView Compare

ORM系统

Rezoom.SQL

静态类型检查常见的SQL方言并将其转换为各种RDBMS后端。（Statically typechecks a commo...

1.3k

F#

FastView Compare

  17.6k

Python

mypy

Optional static typing for Python 2 and 3 (PEP 484)

1.8k

Python

FastView Compare

  6.7k

未分类

pyre-check

Performant type-checking for python.

1k

OCaml

FastView Compare

Python

Enforce.py

Python 3.5+ 运行时类型检查，用于集成测试和数据验证。「Python 3.5+ runtime type ch...

1.2k

Python

FastView Compare

TypeScript

ts-runtime

Runtime Type Checks for TypeScript

843

TypeScript

FastView Compare

  4.6k

Python

pytype

A static type analyzer for Python code

1k

Python

FastView Compare