summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2280logplain
d---------Macaulay2197logplain
d---------agda-executable235logplain
d---------agda-lib-ffi222logplain
d---------agda-stdlib299logplain
d---------agda292logplain
d---------axiom192logplain
d---------bertini159logplain
d---------cado-nfs303logplain
d---------calc386logplain
d---------cgal156logplain
d---------coq415logplain
d---------cvc3190logplain
d---------dataplot197logplain
d---------diagrtb192logplain
d---------drgeo191logplain
d---------e233logplain
d---------ent190logplain
d---------euler192logplain
d---------factmsieve193logplain
d---------fann243logplain
d---------flint330logplain
d---------form156logplain
d---------freemat191logplain
d---------fricas239logplain
d---------frobby195logplain
d---------genius241logplain
d---------geogebra198logplain
d---------geomview194logplain
d---------gfan188logplain
d---------ggnfs195logplain
d---------gimps283logplain
d---------ginac283logplain
d---------glpk321logplain
d---------gmm155logplain
d---------gmp-ecm262logplain
d---------gretl239logplain
d---------gsl-shell195logplain
d---------gwnum157logplain
d---------isabelle403logplain
d---------jags158logplain
d---------kodkod192logplain
d---------kodkodi161logplain
d---------lpsolve163logplain
d---------lybniz160logplain
d---------mathomatic269logplain
d---------maxima289logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat244logplain
d---------mlpy158logplain
d---------msieve237logplain
d---------nauty159logplain
d---------nestedsums168logplain
d---------normaliz195logplain
d---------num-utils212logplain
d---------nusmv375logplain
d---------octave-epstk215logplain
d---------octave433logplain
d---------otter239logplain
d---------p9m4190logplain
d---------pari-data166logplain
d---------pari556logplain
d---------polymake292logplain
d---------prng190logplain
d---------prover9196logplain
d---------pspp238logplain
d---------pymc200logplain
d---------qtoctave198logplain
d---------reduce198logplain
d---------relational163logplain
d---------rkward160logplain
d---------rngstreams164logplain
d---------rstudio558logplain
d---------rw154logplain
d---------sha1-polyml165logplain
d---------singular243logplain
d---------snns283logplain
d---------spass157logplain
d---------spin280logplain
d---------topcom196logplain
d---------twelf191logplain
d---------unuran192logplain
d---------wxmaxima218logplain
d---------xmds235logplain
d---------yacas283logplain
d---------yafu235logplain