Trending repositories

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

Period

Sort order

Tags: Proof assistant

1.MetaRocq / metarocq

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

coq
metaprogramming
coq-formalization
rocq

Rocq Prover MIT568 total101 forks

+23 stars

from 545 · score 3.18

2.DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

Rocq Prover MIT261 total62 forks

+7 stars

from 254 · score 2.08

3.SSProve / ssprove

A foundational framework for modular cryptographic proofs in Coq

cryptography
coq-library
coq-formalization
state-separating-proofs
formal-verification
modular-cryptographic-proofs

Rocq Prover MIT91 total21 forks

+2 stars

from 89 · score 1.10

4.codyroux / name-the-biggest-number

The repository host gives no description.

Coq MIT69 total7 forks

+2 stars

from 67 · score 1.10

5.CertiGraph / CertiGraph

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

coq
vst
compcert
graph-algorithms

Rocq Prover MIT21 total6 forks

+2 stars

from 19 · score 1.10

6.rocq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

coq-library
typeclasses
mathematics
coq
coq-ci
coq-platform

Rocq Prover MIT169 total42 forks

+1 stars

from 168 · score 0.69

7.rocq-community / hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

coq
hydra-battles
ordinal-notations
formal-proofs
primitive-recursive-functions
discrete-mathematics
+2 more

Coq MIT81 total14 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