repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
gap-system/gap | GAPCC++ | 715 | +1 | 154 | 0 |
oscar-system/Oscar.jl | JuliaOther | 241 | 0 | 92 | 0 |
JuliaSymbolics/Symbolics.jl | JuliaOther | 1.2k | 0 | 122 | +3 |
homalg-project/homalg_project | GAPMakefileShell | 10 | 0 | 18 | 0 |
egison/egison | HaskellEmacs LispPython | 891 | 0 | 32 | 0 |