repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
anoma/geb | IdrisCommon LispAgda | 22 | 0 | 8 | 0 |
jfdm/velo-lang | IdrisTeXOther | 11 | 0 | 1 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
anoma/geb | IdrisCommon LispAgda | 22 | 0 | 8 | 0 |
jfdm/velo-lang | IdrisTeXOther | 11 | 0 | 1 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions