typechecker - GitHub 开源项目专题

1

microsoft/TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Go ⭐ 110.5k ⑂ 13.7k Apache-2.0 · 22 小时前推送

javascript language

22 小时前

最近推送

2

python/mypy

Optional static typing for Python

Python ⭐ 20.6k ⑂ 3.3k NOASSERTION · 1 天前推送

linter python

1 天前

最近推送

3

facebook/pyrefly

A fast type checker and language server for Python

Rust ⭐ 6.9k ⑂ 491 MIT · 2 小时前推送

code-quality ide

2 小时前

最近推送

4

kaleidawave/ezno

A correct and efficient TypeScript type checker and compiler with additional experiments

Rust ⭐ 2.7k ⑂ 49 MIT · 2026-06-17推送

compiler javascript

2026-06-17

最近推送

5

soutaro/steep

Static type checker for Ruby

Ruby ⭐ 1.5k ⑂ 118 MIT · 2 天前推送

ruby typechecker

2 天前

最近推送