Topic · typechecking

typechecking

Tracked open-source repos tagged typechecking, sorted by stars.

Repos

3

Total stars

15,184

Avg. stars

5,061

Share

0.00%

Topics that frequently appear alongside typechecking on the same repo.

Recent risers

Repos created in the last 90 days, tagged typechecking.

No new repos tagged with this topic in the last 90 days.

#1
closure-compiler ↗@googleJavaScript
A JavaScript checker and optimizer.
★ 7,678+4Star change over the last 7 days
#2
pyrefly ↗@facebookRust
A fast type checker and language server for Python
★ 6,912+10Star change over the last 7 days
#3
hammox ↗@mszElixir
🏝 automated contract testing via type checking for Elixir functions and mocks
★ 594+0Star change over the last 7 days

← Back to topics