repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
agda/cubical | AgdaOther | 391 | 0 | 128 | 0 |
mortberg/cubicaltt | HaskellEmacs LispMakefile | 549 | 0 | 77 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
agda/cubical | AgdaOther | 391 | 0 | 128 | 0 |
mortberg/cubicaltt | HaskellEmacs LispMakefile | 549 | 0 | 77 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions