Topic · typechecker

typechecker

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

Repos

10

Total stars

150,374

Avg. stars

15,037

Share

0.01%

Topics that frequently appear alongside typechecker on the same repo.

Recent risers

Repos created in the last 90 days, tagged typechecker.

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

#1
TypeScript ↗@microsoftGo
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
★ 110,856+77Star change over the last 7 days
#2
mypy ↗@pythonPython
Optional static typing for Python
★ 20,624+7Star change over the last 7 days
#3
pyrefly ↗@facebookRust
A fast type checker and language server for Python
★ 6,928+16Star change over the last 7 days
#4
pytype ↗@googlePython
A static type analyzer for Python code
★ 5,031-1Star change over the last 7 days
#5
ezno ↗@kaleidawaveRust
A correct and efficient TypeScript type checker and compiler with additional experiments
★ 2,734+0Star change over the last 7 days
#6
steep ↗@soutaroRuby
Static type checker for Ruby
★ 1,488+0Star change over the last 7 days
#7
vize ↗@ubugeeei-prodRust
blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already passed 13k+ tests.
★ 891+7Star change over the last 7 days
#8
Rezoom.SQL ↗@fsprojectsF#
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
★ 679+0Star change over the last 7 days
#9
hammox ↗@mszElixir
🏝 automated contract testing via type checking for Elixir functions and mocks
★ 594+0Star change over the last 7 days
#10
enforce ↗@RussBazPython
Python 3.5+ runtime type checking for integration testing and data validation
★ 552+0Star change over the last 7 days

← Back to topics