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

typechecker

话题找到数量

microsoft/TypeScript

Go

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

javascript language typechecker
microsoft
microsoft 开发者
111k
15k
2.5k
+19
排名 #9
11月1日
查看详情

python/mypy

Python

Python的可选静态类型

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

facebook/pyre-check

OCaml

高性能的Python类型检查

abstract-interpretation code-quality control-flow-analysis
facebook
facebook 开发者
7.2k
449
1.3k
排名 #5
10月25日
查看详情

facebook/pyrefly

Rust

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

code-quality ide language-server
facebook
facebook 开发者
6.9k
509
1.8k
+3
排名 #11
8月31日
查看详情
助手