summaryrefslogtreecommitdiff
ModeNameSize
d---------4ti2243logplain
d---------Macaulay2215logplain
d---------agda-executable198logplain
d---------agda-lib-ffi185logplain
d---------agda-stdlib162logplain
d---------agda158logplain
d---------axiom155logplain
d---------bertini122logplain
d---------cado-nfs315logplain
d---------calc256logplain
d---------cgal243logplain
d---------coq240logplain
d---------cvc3153logplain
d---------dataplot212logplain
d---------diagrtb155logplain
d---------drgeo154logplain
d---------e196logplain
d---------ent153logplain
d---------euler155logplain
d---------factmsieve156logplain
d---------fann253logplain
d---------flint339logplain
d---------form119logplain
d---------freemat154logplain
d---------fricas158logplain
d---------frobby158logplain
d---------genius204logplain
d---------geogebra161logplain
d---------geomview157logplain
d---------gfan197logplain
d---------ggnfs158logplain
d---------gimps198logplain
d---------ginac292logplain
d---------glpk328logplain
d---------gmm160logplain
d---------gmp-ecm225logplain
d---------gretl202logplain
d---------gsl-shell158logplain
d---------gwnum120logplain
d---------isabelle156logplain
d---------jags256logplain
d---------kodkod155logplain
d---------kodkodi124logplain
d---------lpsolve126logplain
d---------lybniz123logplain
d---------mathmod125logplain
d---------mathomatic232logplain
d---------maxima255logplain
-rw-r--r--metadata.xml1326logplain
d---------minisat207logplain
d---------mlpy121logplain
d---------msieve200logplain
d---------nauty122logplain
d---------nestedsums131logplain
d---------normaliz207logplain
d---------num-utils175logplain
d---------nusmv338logplain
d---------octave-epstk178logplain
d---------octave499logplain
d---------otter202logplain
d---------p9m4153logplain
d---------pari-data129logplain
d---------pari519logplain
d---------polymake255logplain
d---------prng201logplain
d---------prover9159logplain
d---------pspp293logplain
d---------pymc163logplain
d---------qtoctave161logplain
d---------reduce161logplain
d---------relational125logplain
d---------rkward123logplain
d---------rngstreams127logplain
d---------rstudio1088logplain
d---------rw120logplain
d---------sha1-polyml128logplain
d---------singular206logplain
d---------snns246logplain
d---------spass120logplain
d---------spin288logplain
d---------topcom159logplain
d---------twelf154logplain
d---------unuran155logplain
d---------wxmaxima280logplain
d---------xmds198logplain
d---------yacas246logplain
d---------yafu198logplain