summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2156logplain
d---------agda-stdlib166logplain
d---------agda155logplain
d---------alt-ergo125logplain
d---------arb243logplain
d---------bertini122logplain
d---------calc204logplain
d---------cgal296logplain
d---------cliquer170logplain
d---------coq358logplain
d---------cvc4197logplain
d---------dataplot160logplain
d---------diagrtb155logplain
d---------dsfmt122logplain
d---------dunshire128logplain
d---------eclib174logplain
d---------ent153logplain
d---------euler158logplain
d---------fann200logplain
d---------flint255logplain
d---------flintqs122logplain
d---------form121logplain
d---------fricas202logplain
d---------frobby158logplain
d---------genius156logplain
d---------geogebra-bin168logplain
d---------geomview160logplain
d---------gfan204logplain
d---------giac159logplain
d---------gimps249logplain
d---------ginac201logplain
d---------glpk198logplain
d---------gmm160logplain
d---------gmp-ecm210logplain
d---------gp2c170logplain
d---------gretl155logplain
d---------gsl-shell167logplain
d---------jags166logplain
d---------lcalc122logplain
d---------lpsolve126logplain
d---------lrcalc198logplain
d---------mathematica241logplain
d---------mathmod125logplain
d---------mathomatic128logplain
d---------maxima313logplain
-rw-r--r--metadata.xml1325logplain
d---------minisat169logplain
d---------msieve157logplain
d---------nauty171logplain
d---------nestedsums130logplain
d---------normaliz181logplain
d---------num-utils159logplain
d---------octave-epstk127logplain
d---------octave202logplain
d---------otter155logplain
d---------pari-data129logplain
d---------pari249logplain
d---------petsc249logplain
d---------planarity212logplain
d---------polymake126logplain
d---------prng156logplain
d---------prover9159logplain
d---------psmt2-frontend161logplain
d---------pspp201logplain
d---------relational160logplain
d---------rkward123logplain
d---------rngstreams127logplain
d---------rstudio162logplain
d---------rw117logplain
d---------sha1-polyml129logplain
d---------singular264logplain
d---------slepc217logplain
d---------spin153logplain
d---------sympow157logplain
d---------topcom210logplain
d---------twelf157logplain
d---------unuran123logplain
d---------why3-for-spark327logplain
d---------wxmaxima331logplain
d---------yacas157logplain
d---------yafu157logplain
d---------z3121logplain