Trending Tags Repositories Insights Dependencies Withheld

/

Trending Tags Repositories Insights Dependencies Withheld

Trending repositories

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

Period

Sort order

Topics: mathcomp

Topics

Search topics

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

Tag

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Archived

Clear all filters

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

Topic: mathcomp

1.math-comp / math-comp

Mathematical Components

coq
ssreflect
mathcomp
coq-formalization
rocq
rocq-library
+2 more

Rocq Prover Other license707 total136 forks

+6 stars

from 700 · score 1.95

2.rocq-community / fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

coq
ssreflect
mathcomp
four-color-theorem
coq-ci

Rocq Prover Other license252 total28 forks

+1 stars

from 251 · score 0.69

3.math-comp / analysis

Mathematical Components compliant Analysis Library

rocq
analysis
coq
mathcomp
ssreflect

Rocq Prover Other license247 total76 forks

+1 stars

from 245 · score 0.69

4.pi8027 / stablesort

Stable sort algorithms and their stability proofs in Rocq

mathcomp
ssreflect
sorting-algorithms
mergesort
insertion-sort
rocq
+3 more

Rocq Prover No license27 total4 forks

+1 stars

from 26 · 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 Tag holds the repositories that have it; see Tags.

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 Tags Repositories Insights Dependencies Withheld Withholding Rule Health facts Privacy Send feedback

Powered by Workhorse · From the makers of AwesomeRepos