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

typecheck

话题找到数量

microsoft/TypeScript

Go

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

javascript language typechecker
microsoft
microsoft 开发者
111k
14k
1.6k
+28
排名 #10
9月18日
查看详情

python/mypy

Python

Python的可选静态类型

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

facebook/pyre-check

OCaml

高性能的Python类型检查

abstract-interpretation code-quality control-flow-analysis
facebook
facebook 开发者
7.2k
452
769
排名 #5
9月3日
查看详情

facebook/pyrefly

Rust

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

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