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

type-check

话题找到数量

facebook/pyre-check

OCaml

高性能的Python类型检查

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

facebook/pyrefly

Rust

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

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

teal-language/tl

Lua

Teal（Lua 的一种类型化方言）的编译器

compiler lua teal
teal-language
teal-language 开发者
3k
168
471
+62
排名 #13
10月25日
查看详情
助手