repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
mo271/formal_book | Lean | 29 | +1 | 4 | 0 |
LogicalAtomist/principia | TeXCoq | 196 | 0 | 5 | 0 |
meoowers/rinha | LeanDockerfileShell | 53 | 0 | 1 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
mo271/formal_book | Lean | 29 | +1 | 4 | 0 |
LogicalAtomist/principia | TeXCoq | 196 | 0 | 5 | 0 |
meoowers/rinha | LeanDockerfileShell | 53 | 0 | 1 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions