repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
status-im/nim-stint | NimC++ | 74 | 0 | 11 | 0 |
thofma/Hecke.jl | Julia | 189 | 0 | 56 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
UniMath/agda-unimath | AgdaPythonCSS | 184 | +1 | 54 | 0 |
status-im/nim-stint | NimC++ | 74 | 0 | 11 | 0 |
thofma/Hecke.jl | Julia | 189 | 0 | 56 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions