Topic · type-checker

type-checker

Tracked open-source repos tagged type-checker, sorted by stars.

Repos

4

Total stars

13,803

Avg. stars

3,451

Share

0.00%

Topics that frequently appear alongside type-checker on the same repo.

Recent risers

Repos created in the last 90 days, tagged type-checker.

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

#1
pyrefly ↗@facebookRust
A fast type checker and language server for Python
★ 6,928+16Star change over the last 7 days
#2
mago ↗@carthage-softwareRust
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
★ 3,423+9Star change over the last 7 days
#3
pylyzer ↗@mtshibaRust
A fast, feature-rich static code analyzer & language server for Python
★ 2,858+0Star change over the last 7 days
#4
hammox ↗@mszElixir
🏝 automated contract testing via type checking for Elixir functions and mocks
★ 594+0Star change over the last 7 days

← Back to topics