由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

typechecker

话题找到数量

microsoft/TypeScript

TypeScript

TypeScript是JavaScript的超集，可编译为纯净的JavaScript输出。

javascript language typechecker
microsoft
microsoft 开发者
109k
13k
681
+521
排名 #15
7月12日
查看详情

python/mypy

Python

Python的可选静态类型

linter python typechecker
python
python 开发者
20k
3.3k
380
+4
排名 #18
8月4日
查看详情

facebook/pyrefly

Rust

适用于Python的快速类型检查器和IDE

code-quality ide language-server
facebook
facebook 开发者
6.8k
465
665
+2
排名 #19
8月2日
查看详情
助手