Trending repositories

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

Period

Sort order

Tag

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Archived

Clear all filters

6 repositories by Attention Score · Oct 28, 2026 – Nov 3, 2026 (UTC)

Tag: Proof assistant

1.openai / math

The repository host gives no description.

Lean APACHE-2.017K total2K forks

+1,287 stars

from 16,021 · score 7.16

2.bendlang / bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

bend
cuda
dependent-types
gpu
metal
parallel
+3 more

TypeScript APACHE-2.025K total792 forks

+225 stars

from 24,470 · score 5.42

3.AxiomMath / CFSG

A Lean formalization of the Classification of Finite Simple Groups

Lean APACHE-2.0158 total23 forks

+61 stars

from 97 · score 4.13

4.anthropics / formal-math

The repository host gives no description.

Lean APACHE-2.0456 total84 forks

+53 stars

from 403 · score 3.99

5.theorem-labs / oss-verify-proofs

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

formal-verification
fuzzing
oss-fuzz
proofs
riscv
rocq

Rocq Prover MIT194 total15 forks

+22 stars

from 172 · score 3.14

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

proof-assistant
coq
theorem-proving
dependent-types

OCaml LGPL-2.15.7K total771 forks

+17 stars

from 5,640 · score 2.89

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 the first daily record that AwesomeRepos made for the repository. A longer window needs more of these daily records first. A repository younger than the window does not rank in it.

The filters select from 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 starting dataset of the index, or by gaining stars faster than the published admission threshold, whatever their size. A repository stays in the index after it enters. Thus an archived repository can still rank.