Trending repositories

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

Period

Sort order

Tags: Proof assistant

1.math-comp / math-comp

Mathematical Components

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

Rocq Prover Other license710 total136 forks

+4 stars

from 706 · score 1.61

2.UniMath / UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

coq
mathematics
unimath
coq-library
foundations
rocq
+1 more

Rocq Prover Other license1K total187 forks

+1 stars

from 1,021 · score 0.69

3.jscoq / jscoq

A port of Coq to Javascript -- Run Coq in your Browser

coq
proof-assistant
javascript
integrated-development-environment

TypeScript Other license550 total50 forks

+1 stars

from 549 · score 0.69

4.ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi

OCaml Other license429 total58 forks

+1 stars

from 428 · score 0.69

5.rocq-community / fourcolor

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

coq
ssreflect
mathcomp
four-color-theorem
coq-ci

Rocq Prover Other license253 total28 forks

+1 stars

from 252 · score 0.69

6.math-comp / analysis

Mathematical Components compliant Analysis Library

rocq
analysis
coq
mathcomp
ssreflect

Rocq Prover Other license247 total76 forks

+1 stars

from 246 · score 0.69

7.WasmCert / WasmCert-Coq

A mechanisation of Wasm in Rocq

webassembly
wasm
coq
rocq-prover

Rocq Prover Other license128 total21 forks

+1 stars

from 127 · score 0.69

8.plclub / metalib

The Penn Locally Nameless Metatheory Library

Coq Other license81 total25 forks

+1 stars

from 80 · 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 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.

A new repository enters the index when it gains stars faster than the published admission threshold, whatever its size. A repository stays in the index after it enters. Thus an archived repository can still rank.

Browse the Repository Index