drwxr-xr-x | .. | ||
drwxr-xr-x | - | 4ti2 | tree | history |
drwxr-xr-x | - | Macaulay2 | tree | history |
drwxr-xr-x | - | agda-executable | tree | history |
drwxr-xr-x | - | agda-lib-ffi | tree | history |
drwxr-xr-x | - | agda-stdlib | tree | history |
drwxr-xr-x | - | agda | tree | history |
drwxr-xr-x | - | axiom | tree | history |
drwxr-xr-x | - | bertini | tree | history |
drwxr-xr-x | - | cado-nfs | tree | history |
drwxr-xr-x | - | calc | tree | history |
drwxr-xr-x | - | cgal | tree | history |
drwxr-xr-x | - | coq | tree | history |
drwxr-xr-x | - | cvc3 | tree | history |
drwxr-xr-x | - | dataplot | tree | history |
drwxr-xr-x | - | diagrtb | tree | history |
drwxr-xr-x | - | drgeo | tree | history |
drwxr-xr-x | - | e | tree | history |
drwxr-xr-x | - | ent | tree | history |
drwxr-xr-x | - | euler | tree | history |
drwxr-xr-x | - | factmsieve | tree | history |
drwxr-xr-x | - | fann | tree | history |
drwxr-xr-x | - | flint | tree | history |
drwxr-xr-x | - | form | tree | history |
drwxr-xr-x | - | freemat | tree | history |
drwxr-xr-x | - | fricas | tree | history |
drwxr-xr-x | - | frobby | tree | history |
drwxr-xr-x | - | genius | tree | history |
drwxr-xr-x | - | geogebra | tree | history |
drwxr-xr-x | - | geomview | tree | history |
drwxr-xr-x | - | gfan | tree | history |
drwxr-xr-x | - | ggnfs | tree | history |
drwxr-xr-x | - | gimps | tree | history |
drwxr-xr-x | - | ginac | tree | history |
drwxr-xr-x | - | glpk | tree | history |
drwxr-xr-x | - | gmm | tree | history |
drwxr-xr-x | - | gmp-ecm | tree | history |
drwxr-xr-x | - | gretl | tree | history |
drwxr-xr-x | - | gsl-shell | tree | history |
drwxr-xr-x | - | gwnum | tree | history |
drwxr-xr-x | - | isabelle | tree | history |
drwxr-xr-x | - | jags | tree | history |
drwxr-xr-x | - | kodkod | tree | history |
drwxr-xr-x | - | kodkodi | tree | history |
drwxr-xr-x | - | lpsolve | tree | history |
drwxr-xr-x | - | lybniz | tree | history |
drwxr-xr-x | - | mathmod | tree | history |
drwxr-xr-x | - | mathomatic | tree | history |
drwxr-xr-x | - | maxima | tree | history |
-rw-r--r-- | 1326 | metadata.xml | blob | history | raw |
drwxr-xr-x | - | minisat | tree | history |
drwxr-xr-x | - | mlpy | tree | history |
drwxr-xr-x | - | msieve | tree | history |
drwxr-xr-x | - | nauty | tree | history |
drwxr-xr-x | - | nestedsums | tree | history |
drwxr-xr-x | - | normaliz | tree | history |
drwxr-xr-x | - | num-utils | tree | history |
drwxr-xr-x | - | nusmv | tree | history |
drwxr-xr-x | - | octave-epstk | tree | history |
drwxr-xr-x | - | octave | tree | history |
drwxr-xr-x | - | otter | tree | history |
drwxr-xr-x | - | p9m4 | tree | history |
drwxr-xr-x | - | pari-data | tree | history |
drwxr-xr-x | - | pari | tree | history |
drwxr-xr-x | - | polymake | tree | history |
drwxr-xr-x | - | prng | tree | history |
drwxr-xr-x | - | prover9 | tree | history |
drwxr-xr-x | - | pspp | tree | history |
drwxr-xr-x | - | pymc | tree | history |
drwxr-xr-x | - | qtoctave | tree | history |
drwxr-xr-x | - | reduce | tree | history |
drwxr-xr-x | - | relational | tree | history |
drwxr-xr-x | - | rkward | tree | history |
drwxr-xr-x | - | rngstreams | tree | history |
drwxr-xr-x | - | rstudio | tree | history |
drwxr-xr-x | - | rw | tree | history |
drwxr-xr-x | - | sha1-polyml | tree | history |
drwxr-xr-x | - | singular | tree | history |
drwxr-xr-x | - | snns | tree | history |
drwxr-xr-x | - | spass | tree | history |
drwxr-xr-x | - | spin | tree | history |
drwxr-xr-x | - | topcom | tree | history |
drwxr-xr-x | - | twelf | tree | history |
drwxr-xr-x | - | unuran | tree | history |
drwxr-xr-x | - | wxmaxima | tree | history |
drwxr-xr-x | - | xmds | tree | history |
drwxr-xr-x | - | yacas | tree | history |
drwxr-xr-x | - | yafu | tree | history |