summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2238logplain
d---------Macaulay2244logplain
d---------agda-executable227logplain
d---------agda-stdlib195logplain
d---------agda333logplain
d---------axiom192logplain
d---------calc340logplain
d---------cgal274logplain
d---------coq280logplain
d---------dataplot197logplain
d---------diagrtb192logplain
d---------drgeo191logplain
d---------ent190logplain
d---------euler192logplain
d---------fann243logplain
d---------freemat237logplain
d---------fricas239logplain
d---------frobby242logplain
d---------genius193logplain
d---------geomview194logplain
d---------gfan234logplain
d---------gimps331logplain
d---------ginac283logplain
d---------glpk289logplain
d---------gmm155logplain
d---------gretl237logplain
d---------isabelle195logplain
d---------jags158logplain
d---------lpsolve163logplain
d---------lybniz160logplain
d---------mathomatic321logplain
d---------maxima436logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat244logplain
d---------nauty159logplain
d---------nestedsums168logplain
d---------normaliz242logplain
d---------num-utils212logplain
d---------nusmv283logplain
d---------octave-epstk164logplain
d---------octave339logplain
d---------otter239logplain
d---------p9m4187logplain
d---------pari-data166logplain
d---------pari331logplain
d---------polymake289logplain
d---------prng190logplain
d---------prover9196logplain
d---------pspp238logplain
d---------qtoctave247logplain
d---------reduce248logplain
d---------relational163logplain
d---------rkward383logplain
d---------rngstreams164logplain
d---------scilab295logplain
d---------singular348logplain
d---------snns237logplain
d---------spin235logplain
d---------topcom193logplain
d---------unuran239logplain
d---------wxmaxima264logplain
d---------xmds235logplain
d---------yacas237logplain