summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2288logplain
d---------Macaulay2215logplain
d---------agda-lib-ffi185logplain
d---------agda-stdlib219logplain
d---------agda206logplain
d---------arb156logplain
d---------axiom155logplain
d---------bertini122logplain
d---------calc256logplain
d---------cgal195logplain
d---------coq162logplain
d---------cvc3201logplain
d---------dataplot212logplain
d---------diagrtb155logplain
d---------drgeo157logplain
d---------dunshire125logplain
d---------e239logplain
d---------ent153logplain
d---------euler155logplain
d---------factmsieve159logplain
d---------fann200logplain
d---------flint249logplain
d---------form164logplain
d---------fricas252logplain
d---------frobby208logplain
d---------genius124logplain
d---------geogebra139logplain
d---------geomview160logplain
d---------gfan154logplain
d---------ggnfs158logplain
d---------gimps157logplain
d---------ginac200logplain
d---------glpk463logplain
d---------gmm118logplain
d---------gmp-ecm225logplain
d---------gretl202logplain
d---------gsl-shell164logplain
d---------gwnum120logplain
d---------isabelle158logplain
d---------jags256logplain
d---------kodkod205logplain
d---------kodkodi175logplain
d---------lpsolve126logplain
d---------lybniz126logplain
d---------mathmod125logplain
d---------mathomatic180logplain
d---------maxima303logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat217logplain
d---------mlpy121logplain
d---------msieve200logplain
d---------nauty168logplain
d---------nestedsums127logplain
d---------normaliz305logplain
d---------num-utils175logplain
d---------nusmv122logplain
d---------octave-epstk178logplain
d---------octave155logplain
d---------otter155logplain
d---------p9m4153logplain
d---------pari-data129logplain
d---------pari519logplain
d---------polymake126logplain
d---------prng156logplain
d---------prover9159logplain
d---------pspp200logplain
d---------pymc153logplain
d---------pymc3120logplain
d---------qtoctave161logplain
d---------reduce161logplain
d---------relational125logplain
d---------rkward170logplain
d---------rngstreams127logplain
d---------rstudio1287logplain
d---------rw120logplain
d---------sha1-polyml181logplain
d---------singular255logplain
d---------snns154logplain
d---------spass164logplain
d---------spin288logplain
d---------topcom156logplain
d---------twelf154logplain
d---------unuran123logplain
d---------wxmaxima280logplain
d---------xmds121logplain
d---------yacas125logplain
d---------yafu198logplain
d---------z3194logplain