| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 4ti2-1.6.2 | 2018-07-16 17:30 | 1.1K | ||
| 4ti2-1.6.5 | 2018-07-16 17:30 | 1.1K | ||
| 4ti2-1.6.6 | 2018-07-16 17:30 | 1.1K | ||
| 4ti2-1.6.7 | 2018-05-27 04:08 | 845 | ||
| Macaulay2-1.8.2.1-r1 | 2018-07-16 17:30 | 2.5K | ||
| Manifest.gz | 2018-07-21 08:39 | 24K | ||
| agda-2.4.2.5-r2 | 2018-07-16 17:30 | 4.7K | ||
| agda-2.5.2-r1 | 2018-07-16 17:30 | 5.8K | ||
| agda-lib-ffi-0.0.2 | 2018-07-16 17:30 | 1.0K | ||
| agda-lib-ffi-0.0.2-r2 | 2018-07-16 17:30 | 1.0K | ||
| agda-stdlib-2.4.2.5 | 2018-07-16 17:30 | 1.4K | ||
| agda-stdlib-2.5.2.0.13 | 2018-07-16 17:30 | 1.2K | ||
| alt-ergo-1.30 | 2018-06-02 19:09 | 592 | ||
| arb-2.11.1-r1 | 2018-07-16 17:30 | 942 | ||
| axiom-200805 | 2018-07-16 17:30 | 861 | ||
| bertini-1.4 | 2018-05-27 01:04 | 501 | ||
| calc-2.12.4.13-r1 | 2018-07-16 17:30 | 845 | ||
| calc-2.12.5.4 | 2018-05-27 01:04 | 569 | ||
| cgal-4.9 | 2018-07-16 17:30 | 1.8K | ||
| cgal-4.10 | 2018-07-16 17:30 | 1.8K | ||
| cgal-4.11.1 | 2018-07-16 17:30 | 1.8K | ||
| coq-8.6 | 2018-07-16 17:30 | 1.2K | ||
| coq-8.6.1 | 2018-07-16 17:30 | 1.2K | ||
| cvc3-2.4.1-r1 | 2017-09-08 05:09 | 755 | ||
| cvc4-1.6 | 2018-07-18 02:39 | 498 | ||
| dataplot-20090821 | 2018-07-16 17:30 | 1.4K | ||
| dataplot-20131220 | 2018-07-16 17:30 | 1.4K | ||
| diagrtb-2.64 | 2018-07-16 17:30 | 1.2K | ||
| drgeo-1.1.0-r1 | 2018-07-16 17:30 | 921 | ||
| dunshire-0.1.1 | 2018-07-20 17:42 | 2.2K | ||
| e-1.5 | 2017-02-28 15:31 | 507 | ||
| e-1.6 | 2017-02-28 15:31 | 507 | ||
| e-1.8-r1 | 2017-02-28 15:31 | 507 | ||
| ent-101202 | 2018-07-16 17:30 | 696 | ||
| euler-1.61.0 | 2018-07-16 17:30 | 1.1K | ||
| factmsieve-76-r1 | 2018-07-08 10:16 | 1.0K | ||
| fann-2.2.0-r1 | 2018-07-16 17:30 | 1.3K | ||
| fann-9999 | 2018-07-16 17:30 | 1.3K | ||
| flint-2.4.4-r1 | 2018-07-16 17:30 | 1.0K | ||
| flint-2.4.5 | 2018-07-16 17:30 | 1.0K | ||
| flint-2.5.2 | 2018-07-16 17:30 | 1.0K | ||
| form-4.1 | 2018-05-27 01:04 | 963 | ||
| form-4.2.0 | 2018-05-27 01:04 | 1.0K | ||
| fricas-1.3.2 | 2018-05-27 01:04 | 1.1K | ||
| fricas-1.3.3 | 2018-05-27 01:04 | 1.1K | ||
| fricas-1.3.4 | 2018-06-28 06:39 | 1.1K | ||
| frobby-0.9.0-r2 | 2018-05-27 01:04 | 523 | ||
| genius-1.0.21 | 2018-07-16 17:30 | 1.8K | ||
| geogebra-5.0.339.0_p20170308-r1 | 2018-07-16 17:30 | 22K | ||
| geomview-1.9.5-r1 | 2018-07-16 17:30 | 1.1K | ||
| gfan-0.5-r1 | 2018-07-16 17:30 | 824 | ||
| ggnfs-0.77.1-r2 | 2018-07-16 17:30 | 1.0K | ||
| gimps-28.10-r1 | 2018-06-13 05:02 | 625 | ||
| gimps-29.4.7 | 2018-06-13 05:02 | 734 | ||
| gimps-29.4.8 | 2018-06-13 05:02 | 670 | ||
| ginac-1.6.6 | 2018-07-16 17:30 | 1.0K | ||
| ginac-1.7.2 | 2018-07-16 17:30 | 1.1K | ||
| ginac-1.7.4 | 2018-07-16 17:30 | 685 | ||
| glpk-4.63 | 2018-07-16 17:30 | 1.4K | ||
| gmm-5.1 | 2018-07-16 17:30 | 836 | ||
| gmp-ecm-6.4.3-r5 | 2018-07-16 17:30 | 1.0K | ||
| gmp-ecm-6.4.4-r1 | 2018-07-16 17:30 | 1.3K | ||
| gmp-ecm-9999 | 2018-07-16 17:30 | 1.4K | ||
| gretl-1.9.14 | 2018-07-16 17:30 | 1.7K | ||
| gretl-1.9.90 | 2018-07-16 17:30 | 1.9K | ||
| gsl-shell-2.3.0_beta1 | 2018-05-27 01:04 | 697 | ||
| gwnum-277 | 2018-07-16 17:30 | 692 | ||
| isabelle-2016.1 | 2018-07-16 17:30 | 2.9K | ||
| jags-3.4.0 | 2018-07-16 17:30 | 1.0K | ||
| jags-4.0.0 | 2018-07-16 17:30 | 1.1K | ||
| jags-4.1.0 | 2018-07-16 17:30 | 896 | ||
| jags-4.2.0 | 2018-07-16 17:30 | 894 | ||
| kodkod-1.5.2-r1 | 2018-07-16 17:30 | 1.4K | ||
| kodkodi-1.5.2-r1 | 2018-07-16 17:30 | 1.3K | ||
| lpsolve-5.5.2.0 | 2018-05-27 04:08 | 419 | ||
| lybniz-1.3.2-r1 | 2018-07-20 17:42 | 1.2K | ||
| mathmod-4.1-r1 | 2018-07-16 17:30 | 1.0K | ||
| mathomatic-15.8.5 | 2018-07-16 17:30 | 859 | ||
| mathomatic-16.0.5 | 2018-07-16 17:30 | 917 | ||
| maxima-5.38.1 | 2018-07-16 17:30 | 2.3K | ||
| maxima-5.41.0 | 2018-07-16 17:30 | 2.3K | ||
| maxima-5.41.0-r1 | 2018-07-16 17:30 | 2.5K | ||
| minisat-2.2.0-r4 | 2018-05-27 01:04 | 542 | ||
| minisat-2.2.0_p20130925 | 2018-05-27 01:04 | 656 | ||
| mlpy-3.5.0 | 2018-07-20 17:42 | 1.8K | ||
| msieve-1.51 | 2018-07-16 17:30 | 944 | ||
| msieve-9999 | 2018-07-16 17:30 | 1.0K | ||
| nauty-2.5.9 | 2018-04-23 14:29 | 385 | ||
| nauty-2.6.7 | 2018-05-27 01:04 | 1.0K | ||
| nestedsums-1.5.1 | 2018-07-16 17:30 | 922 | ||
| normaliz-2.12.2 | 2018-07-16 17:30 | 879 | ||
| normaliz-3.1.1 | 2018-07-16 17:30 | 885 | ||
| normaliz-3.1.3 | 2018-05-27 01:04 | 646 | ||
| normaliz-3.3.0 | 2018-07-16 17:30 | 1.1K | ||
| num-utils-0.3 | 2018-05-01 15:09 | 365 | ||
| num-utils-0.5-r1 | 2018-07-16 17:30 | 801 | ||
| nusmv-2.6.0 | 2018-07-16 17:30 | 1.5K | ||
| octave-4.2.2 | 2018-07-21 08:39 | 4.2K | ||
| octave-4.4.0 | 2018-07-21 08:39 | 4.4K | ||
| octave-epstk-2.4 | 2018-07-16 17:30 | 822 | ||
| otter-3.3-r3 | 2018-05-27 01:04 | 517 | ||
| p9m4-05-r1 | 2018-07-20 17:42 | 2.0K | ||
| pari-2.9.4-r1 | 2018-07-16 17:30 | 1.2K | ||
| pari-data-20120726 | 2017-02-28 15:31 | 782 | ||
| polymake-3.0_p2 | 2018-07-16 17:30 | 1.5K | ||
| prng-3.0.2-r2 | 2018-05-27 01:04 | 711 | ||
| prover9-2009.11a | 2018-07-16 17:30 | 845 | ||
| pspp-0.10.1 | 2018-07-16 17:30 | 1.5K | ||
| pspp-0.10.2 | 2018-07-16 17:30 | 1.5K | ||
| pymc-2.3.6 | 2018-07-20 17:42 | 3.7K | ||
| pymc3-3.1 | 2018-07-20 17:42 | 11K | ||
| reduce-20110414-r1 | 2018-05-27 01:04 | 791 | ||
| relational-2.5 | 2018-07-08 10:16 | 2.8K | ||
| rkward-0.7.0 | 2018-07-16 17:30 | 3.2K | ||
| rngstreams-1.0.1 | 2018-07-16 17:30 | 961 | ||
| rstudio-1.1.383-r1 | 2018-07-16 17:30 | 3.8K | ||
| rstudio-1.1.453 | 2018-07-16 17:30 | 3.9K | ||
| rw-0.7-r2 | 2017-02-28 15:31 | 529 | ||
| sha1-polyml-5.5.0 | 2018-05-27 01:04 | 410 | ||
| sha1-polyml-5.6_p1 | 2018-05-27 01:04 | 402 | ||
| singular-3.1.6 | 2018-07-16 17:30 | 2.6K | ||
| singular-4.0.2 | 2018-07-16 17:30 | 1.7K | ||
| singular-4.0.3 | 2018-07-16 17:30 | 1.7K | ||
| snns-4.3-r2 | 2018-07-20 17:42 | 1.5K | ||
| snns-4.3-r3 | 2018-07-20 17:42 | 1.3K | ||
| spass-3.7 | 2018-04-23 14:29 | 562 | ||
| spass-3.9 | 2018-04-23 14:29 | 532 | ||
| spin-6.4.5 | 2018-07-16 17:30 | 851 | ||
| topcom-0.17.7 | 2018-07-16 17:30 | 1.0K | ||
| twelf-1.7.1 | 2018-07-16 17:30 | 963 | ||
| twelf-1.7.1-r1 | 2018-07-16 17:30 | 1.0K | ||
| unuran-1.8.1 | 2018-07-16 17:30 | 1.1K | ||
| why3-for-spark-2017 | 2018-05-27 01:04 | 1.4K | ||
| why3-for-spark-2018 | 2018-07-13 03:09 | 1.4K | ||
| wxmaxima-15.08.2 | 2018-07-16 17:30 | 1.1K | ||
| wxmaxima-16.04.2 | 2018-07-16 17:30 | 1.1K | ||
| wxmaxima-16.12.0 | 2018-07-16 17:30 | 1.1K | ||
| wxmaxima-16.12.2 | 2018-07-16 17:30 | 1.1K | ||
| wxmaxima-17.10.1 | 2018-07-16 17:30 | 1.4K | ||
| wxmaxima-18.02.0 | 2018-07-16 17:30 | 1.4K | ||
| xmds-2.2.2 | 2018-07-20 17:42 | 1.6K | ||
| yacas-1.6.1-r1 | 2018-07-16 17:30 | 2.0K | ||
| yafu-1.34.3 | 2018-07-16 17:30 | 940 | ||
| yafu-9999 | 2018-07-16 17:30 | 1.0K | ||
| z3-4.4.1 | 2018-07-16 17:30 | 1.6K | ||
| z3-4.5.0 | 2018-07-16 17:30 | 1.6K | ||