Mode | Name | Size | |
---|---|---|---|
d--------- | 4ti2 | 288 | logplain |
d--------- | Macaulay2 | 215 | logplain |
d--------- | agda-lib-ffi | 185 | logplain |
d--------- | agda-stdlib | 219 | logplain |
d--------- | agda | 206 | logplain |
d--------- | arb | 156 | logplain |
d--------- | axiom | 155 | logplain |
d--------- | bertini | 122 | logplain |
d--------- | calc | 256 | logplain |
d--------- | cgal | 195 | logplain |
d--------- | coq | 162 | logplain |
d--------- | cvc3 | 201 | logplain |
d--------- | dataplot | 212 | logplain |
d--------- | diagrtb | 155 | logplain |
d--------- | drgeo | 157 | logplain |
d--------- | dunshire | 125 | logplain |
d--------- | e | 239 | logplain |
d--------- | ent | 153 | logplain |
d--------- | euler | 155 | logplain |
d--------- | factmsieve | 159 | logplain |
d--------- | fann | 200 | logplain |
d--------- | flint | 249 | logplain |
d--------- | form | 164 | logplain |
d--------- | fricas | 252 | logplain |
d--------- | frobby | 208 | logplain |
d--------- | genius | 124 | logplain |
d--------- | geogebra | 139 | logplain |
d--------- | geomview | 160 | logplain |
d--------- | gfan | 154 | logplain |
d--------- | ggnfs | 158 | logplain |
d--------- | gimps | 157 | logplain |
d--------- | ginac | 200 | logplain |
d--------- | glpk | 463 | logplain |
d--------- | gmm | 118 | logplain |
d--------- | gmp-ecm | 225 | logplain |
d--------- | gretl | 202 | logplain |
d--------- | gsl-shell | 164 | logplain |
d--------- | gwnum | 120 | logplain |
d--------- | isabelle | 158 | logplain |
d--------- | jags | 256 | logplain |
d--------- | kodkod | 205 | logplain |
d--------- | kodkodi | 175 | logplain |
d--------- | lpsolve | 126 | logplain |
d--------- | lybniz | 126 | logplain |
d--------- | mathmod | 125 | logplain |
d--------- | mathomatic | 180 | logplain |
d--------- | maxima | 351 | logplain |
-rw-r--r-- | metadata.xml | 1326 | logplain |
d--------- | minisat | 217 | logplain |
d--------- | mlpy | 121 | logplain |
d--------- | msieve | 200 | logplain |
d--------- | nauty | 168 | logplain |
d--------- | nestedsums | 127 | logplain |
d--------- | normaliz | 305 | logplain |
d--------- | num-utils | 175 | logplain |
d--------- | nusmv | 122 | logplain |
d--------- | octave-epstk | 178 | logplain |
d--------- | octave | 155 | logplain |
d--------- | otter | 155 | logplain |
d--------- | p9m4 | 153 | logplain |
d--------- | pari-data | 129 | logplain |
d--------- | pari | 519 | logplain |
d--------- | polymake | 126 | logplain |
d--------- | prng | 156 | logplain |
d--------- | prover9 | 159 | logplain |
d--------- | pspp | 200 | logplain |
d--------- | pymc | 153 | logplain |
d--------- | pymc3 | 120 | logplain |
d--------- | qtoctave | 161 | logplain |
d--------- | reduce | 161 | logplain |
d--------- | relational | 125 | logplain |
d--------- | rkward | 227 | logplain |
d--------- | rngstreams | 127 | logplain |
d--------- | rstudio | 1287 | logplain |
d--------- | rw | 120 | logplain |
d--------- | sha1-polyml | 181 | logplain |
d--------- | singular | 255 | logplain |
d--------- | snns | 154 | logplain |
d--------- | spass | 164 | logplain |
d--------- | spin | 288 | logplain |
d--------- | topcom | 156 | logplain |
d--------- | twelf | 154 | logplain |
d--------- | unuran | 123 | logplain |
d--------- | wxmaxima | 280 | logplain |
d--------- | xmds | 121 | logplain |
d--------- | yacas | 125 | logplain |
d--------- | yafu | 198 | logplain |
d--------- | z3 | 194 | logplain |