summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2243logplain
d---------agda-lib-ffi185logplain
d---------agda-stdlib165logplain
d---------agda156logplain
d---------alt-ergo173logplain
d---------arb198logplain
d---------bertini122logplain
d---------calc208logplain
d---------cgal197logplain
d---------cliquer123logplain
d---------coq262logplain
d---------cvc4194logplain
d---------dataplot212logplain
d---------diagrtb155logplain
d---------dunshire128logplain
d---------eclib125logplain
d---------ent153logplain
d---------euler155logplain
d---------fann200logplain
d---------flint203logplain
d---------flintqs122logplain
d---------form209logplain
d---------fricas249logplain
d---------frobby158logplain
d---------genius204logplain
d---------geogebra-bin168logplain
d---------geomview160logplain
d---------gfan153logplain
d---------ggnfs158logplain
d---------gimps155logplain
d---------ginac247logplain
d---------glpk195logplain
d---------gmm160logplain
d---------gmp-ecm174logplain
d---------gp2c175logplain
d---------gretl202logplain
d---------gsl-shell164logplain
d---------jags256logplain
d---------lpsolve126logplain
d---------lrcalc153logplain
d---------mathematica241logplain
d---------mathmod125logplain
d---------mathomatic128logplain
d---------maxima300logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat220logplain
d---------msieve252logplain
d---------nauty168logplain
d---------nestedsums130logplain
d---------normaliz305logplain
d---------num-utils210logplain
d---------octave-epstk127logplain
d---------octave205logplain
d---------otter155logplain
d---------pari-data129logplain
d---------pari200logplain
d---------petsc202logplain
d---------planarity160logplain
d---------polymake126logplain
d---------prng156logplain
d---------prover9159logplain
d---------psmt2-frontend161logplain
d---------pspp201logplain
d---------relational160logplain
d---------rkward123logplain
d---------rngstreams127logplain
d---------rstudio362logplain
d---------rw120logplain
d---------sha1-polyml181logplain
d---------singular206logplain
d---------slepc123logplain
d---------spin153logplain
d---------sympow157logplain
d---------topcom156logplain
d---------twelf203logplain
d---------unuran123logplain
d---------why3-for-spark330logplain
d---------wxmaxima433logplain
d---------yacas157logplain
d---------yafu198logplain
d---------z3119logplain