Trending repositories

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

Period

Sort order

Tags: Science and math

1.rocq-prover / rocq

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

+15 stars

from 5,643 · score 2.77

2.sofa-framework / sofa

Real-time multi-physics simulation with an emphasis on medical simulation.

real-time
simulation
medical
physics
cpp
framework
+3 more

C++LGPL-2.11.3K total371 forks

+6 stars

from 1,293 · score 1.95

3.idaholab / moose

Multiphysics Object Oriented Simulation Environment: A robust, modern, extendable, finite element/finite volume framework that excels at creating complex multiphysics simulations.

multiphysics
simulation
fem
finite-elements
object-oriented
parallel
+2 more

C++LGPL-2.12.4K total1.3K forks

+3 stars

from 2,397 · score 1.39

4.NGSolve / netgen

The repository host gives no description.

mesh-generator

C++LGPL-2.1398 total172 forks

+2 stars

from 396 · score 1.10

5.gromacs / gromacs

Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.

C++LGPL-2.1974 total419 forks

+1 stars

from 973 · score 0.69

6.libMesh / libmesh

libMesh github repository

fem
finite-element-methods
simulation
parallel
amr
finite-element-analysis
+2 more

C LGPL-2.1762 total310 forks

+1 stars

from 761 · score 0.69

7.cdk / cdk

The Chemistry Development Kit

code4lib
chemistry
java
cheminformatics
bioinformatics
blueobelisk

Java LGPL-2.1612 total182 forks

+1 stars

from 611 · 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