summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2243logplain
d---------Macaulay2160logplain
d---------agda-executable198logplain
d---------agda-lib-ffi185logplain
d---------agda-stdlib262logplain
d---------agda255logplain
d---------axiom155logplain
d---------bertini122logplain
d---------cado-nfs266logplain
d---------calc349logplain
d---------cgal242logplain
d---------coq378logplain
d---------cvc3153logplain
d---------dataplot160logplain
d---------diagrtb155logplain
d---------drgeo154logplain
d---------e196logplain
d---------ent153logplain
d---------euler155logplain
d---------factmsieve156logplain
d---------fann206logplain
d---------flint293logplain
d---------form119logplain
d---------freemat154logplain
d---------fricas202logplain
d---------frobby158logplain
d---------genius204logplain
d---------geogebra161logplain
d---------geomview157logplain
d---------gfan151logplain
d---------ggnfs158logplain
d---------gimps246logplain
d---------ginac246logplain
d---------glpk284logplain
d---------gmm160logplain
d---------gmp-ecm225logplain
d---------gretl202logplain
d---------gsl-shell158logplain
d---------gwnum120logplain
d---------isabelle366logplain
d---------jags121logplain
d---------kodkod155logplain
d---------kodkodi124logplain
d---------lpsolve126logplain
d---------lybniz123logplain
d---------mathomatic232logplain
d---------maxima255logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat207logplain
d---------mlpy121logplain
d---------msieve200logplain
d---------nauty122logplain
d---------nestedsums131logplain
d---------normaliz158logplain
d---------num-utils175logplain
d---------nusmv338logplain
d---------octave-epstk178logplain
d---------octave396logplain
d---------otter202logplain
d---------p9m4153logplain
d---------pari-data129logplain
d---------pari519logplain
d---------polymake255logplain
d---------prng153logplain
d---------prover9159logplain
d---------pspp201logplain
d---------pymc163logplain
d---------qtoctave161logplain
d---------reduce161logplain
d---------relational126logplain
d---------rkward123logplain
d---------rngstreams127logplain
d---------rstudio575logplain
d---------rw117logplain
d---------sha1-polyml128logplain
d---------singular206logplain
d---------snns246logplain
d---------spass120logplain
d---------spin243logplain
d---------topcom159logplain
d---------twelf154logplain
d---------unuran155logplain
d---------wxmaxima283logplain
d---------xmds198logplain
d---------yacas246logplain
d---------yafu198logplain