repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
gap-system/gap | GAPCC++ | 715 | +1 | 154 | 0 |
zhangzeyingvv/MagneticTB | Mathematica | 26 | 0 | 17 | 0 |
neurreps/awesome-neural-geometry | 747 | 0 | 44 | 0 | |
pelegs/maths_book | TeXOther | 177 | 0 | 25 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
gap-system/gap | GAPCC++ | 715 | +1 | 154 | 0 |
zhangzeyingvv/MagneticTB | Mathematica | 26 | 0 | 17 | 0 |
neurreps/awesome-neural-geometry | 747 | 0 | 44 | 0 | |
pelegs/maths_book | TeXOther | 177 | 0 | 25 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions