Clear ×
★ –

Typechecker

5 repositories found

+ Follow domain
microsoft

microsoft

TypeScript
TypeScript AI analysis

TypeScript is a statically typed superset of JavaScript maintained by Microsoft that compiles to plain JavaScript, enabling large-scale application...

Production ready Beginner friendly
javascript language typechecker
109.7k
13.6k
5.1k
257/wk +65 yesterday
active
10/10 Dev Tools
facebook

facebook

pyrefly
Rust AI analysis

Pyrefly is a fast type checker and language server for Python, written in Rust, that provides IDE features like code navigation, semantic...

Production ready
code-quality ide language-server
6.8k
430
722
29/wk
active
8/10 Dev Tools
soutaro

soutaro

steep
Ruby AI analysis

Steep is a static type checker for Ruby that enables gradual typing through explicit type declarations in RBS signature files. It serves Ruby...

Production ready Single maintainer Niche use case
ruby typechecker
1.5k
115
220
1/wk
active
7/10 Dev Tools
python

python

mypy
Python AI analysis

Mypy is a static type checker for Python that detects type errors before runtime by analyzing type hints (PEP 484). It serves developers and teams...

Production ready Beginner friendly Niche use case
linter python typechecker
20.5k
3.2k
3.2k
12/wk
active
9/10 Dev Tools
kaleidawave

kaleidawave

ezno
Rust AI analysis

Ezno is a TypeScript type checker and compiler written in Rust that emphasizes soundness and static analysis through an imperative type system...

Single maintainer Niche use case Hidden gem
compiler javascript typechecker
2.7k
49
49
1/wk
recent
7/10 Dev Tools