Trending Categories Repositories Insights Dependencies Withheld

Trending Categories Repositories Insights Dependencies Withheld

Trending repositories

Ranked by Attention Score: stars gained over the last 7 complete days

Period

Sort order

Topics: typechecker

Topics

Search topics

No listed topic matches. Press Enter to filter by “”.

Category

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Archived

Clear all filters

5 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)

Topic: typechecker

1.microsoft / TypeScript

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

typescript
javascript
language
typechecker

Go APACHE-2.0112K total15K forks

+102 stars

from 111,610 · score 4.63

2.meta / pyrefly

A fast type checker and language server for Python

code-quality
ide
language-server
lsp
python
type-check
+11 more

Rust MIT7.2K total585 forks

+28 stars

from 7,146 · score 3.37

3.python / mypy

Optional static typing for Python

python
types
typing
typechecker
linter

Python Other license21K total3.4K forks

+14 stars

from 20,702 · score 2.71

4.meta / pyre-checkArchived

Performant type-checking for python.

python
typechecker
type-check
static-analysis
ocaml
code-quality
+5 more

OCaml MIT7.2K total448 forks

+4 stars

from 7,177 · score 1.61

5.soutaro / steep

Static type checker for Ruby

ruby
typechecker

Ruby MIT1.5K total122 forks

+1 stars

from 1,492 · score 0.69

Order: Attention Score

Most net stars gained in the window first. The score only puts this gain on a log scale, so the order is the order of the gain.

How the ranking works

Ranked by stars gained in the window. The score is the natural log of one plus that gain, so a repository's rank is exactly its star gain's rank.

score = log1p(net stars gained in the trailing T complete UTC days)

A repository is ranked only when its Star History covers every day of the window and its latest Observation is not missing.

The longest window is 180 days. Star History from the Repository Host goes back at most 180 days before a repository's first Observation. A longer window needs more days of Observations first. A repository younger than the window is not ranked in it.

The filters narrow the same eligible repositories. A repository matches the topics when it has any of them. Total stars is the count now. Last push and creation on the Repository Host count back from the start of today (UTC). The counts beside the languages, licenses, and topics include all ranked repositories in the window. A Category holds the repositories that its published rules match; see Categories.

Repositories enter the index from the Seed Dataset or by gaining stars faster than the published admission threshold, whatever their size. Admission is permanent, so an archived repository can still rank.

Browse the Repository Index

Trending Categories Repositories Insights Dependencies Withheld Withholding Rule Privacy Send feedback