![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | 4ti2-1.6.2 | 2020-09-13 08:15 | 1.2K | |
![]() | 4ti2-1.6.6 | 2020-09-13 08:15 | 1.2K | |
![]() | 4ti2-1.6.7 | 2020-09-11 15:25 | 813 | |
![]() | Manifest.gz | 2020-10-04 17:09 | 23K | |
![]() | agda-2.4.2.5-r2 | 2020-09-25 10:09 | 4.8K | |
![]() | agda-2.5.2-r1 | 2020-09-25 10:09 | 5.9K | |
![]() | agda-2.5.2-r2 | 2020-09-25 10:09 | 5.5K | |
![]() | agda-lib-ffi-0.0.2 | 2020-09-13 08:15 | 1.1K | |
![]() | agda-lib-ffi-0.0.2-r2 | 2020-09-13 08:15 | 1.1K | |
![]() | agda-stdlib-2.4.2.5 | 2020-09-25 10:09 | 1.5K | |
![]() | agda-stdlib-2.5.2.0.13 | 2020-09-25 10:09 | 1.4K | |
![]() | alt-ergo-1.30 | 2019-09-12 06:39 | 603 | |
![]() | alt-ergo-2.3.0 | 2020-05-27 06:09 | 803 | |
![]() | arb-2.17.0 | 2020-09-11 15:25 | 659 | |
![]() | arb-2.18.1 | 2020-09-12 16:21 | 1.1K | |
![]() | axiom-200805 | 2020-09-13 08:15 | 1.0K | |
![]() | bertini-1.4 | 2020-09-11 15:25 | 501 | |
![]() | calc-2.12.4.13-r1 | 2020-09-13 08:15 | 967 | |
![]() | calc-2.12.5.4 | 2020-09-11 15:25 | 569 | |
![]() | cgal-4.11.3 | 2020-09-13 08:15 | 1.9K | |
![]() | cliquer-1.21 | 2020-03-25 16:09 | 375 | |
![]() | coq-8.6.1-r1 | 2020-09-13 08:15 | 1.4K | |
![]() | coq-8.9.1-r1 | 2020-09-11 15:25 | 932 | |
![]() | coq-8.9.1-r2 | 2020-09-11 15:25 | 953 | |
![]() | cvc4-1.6 | 2020-02-22 21:40 | 498 | |
![]() | cvc4-1.7 | 2020-09-12 16:21 | 1.2K | |
![]() | dataplot-20090821 | 2020-09-13 08:15 | 1.5K | |
![]() | dataplot-20131220 | 2020-09-13 08:15 | 1.5K | |
![]() | diagrtb-2.64 | 2020-09-13 08:15 | 1.3K | |
![]() | dunshire-0.1.1-r1 | 2020-09-21 15:40 | 2.4K | |
![]() | eclib-20190909 | 2020-07-23 07:09 | 642 | |
![]() | ent-101202 | 2020-09-13 08:15 | 818 | |
![]() | euler-1.61.0 | 2020-09-13 08:15 | 1.2K | |
![]() | fann-2.2.0-r1 | 2020-09-18 12:40 | 1.1K | |
![]() | fann-9999 | 2020-09-18 12:40 | 1.1K | |
![]() | flint-2.5.2-r1 | 2020-09-11 15:25 | 687 | |
![]() | flint-2.6.3 | 2020-09-17 17:12 | 1.2K | |
![]() | flintqs-1.0 | 2020-04-19 18:39 | 389 | |
![]() | form-4.1 | 2020-09-11 15:25 | 931 | |
![]() | form-4.2.0 | 2020-09-11 15:25 | 948 | |
![]() | form-4.2.1 | 2020-09-11 15:25 | 1.0K | |
![]() | fricas-1.3.4 | 2020-09-25 10:09 | 1.2K | |
![]() | fricas-1.3.5 | 2020-09-25 10:09 | 1.2K | |
![]() | fricas-1.3.6 | 2020-09-25 10:09 | 1.2K | |
![]() | frobby-0.9.0-r2 | 2020-09-11 15:25 | 523 | |
![]() | genius-1.0.23 | 2020-09-13 08:15 | 2.0K | |
![]() | genius-1.0.25 | 2020-09-13 08:15 | 2.0K | |
![]() | geogebra-bin-5.0.604.0-r2 | 2020-09-21 02:10 | 867 | |
![]() | geomview-1.9.5-r1 | 2020-10-03 21:09 | 1.2K | |
![]() | gfan-0.6.2 | 2020-09-12 16:21 | 816 | |
![]() | ggnfs-0.77.1-r2 | 2020-09-13 08:15 | 1.1K | |
![]() | gimps-29.8.6-r1 | 2020-09-11 15:25 | 673 | |
![]() | ginac-1.6.6 | 2020-09-13 08:15 | 1.2K | |
![]() | ginac-1.7.8 | 2020-09-12 16:21 | 807 | |
![]() | ginac-1.7.11 | 2020-09-12 16:21 | 808 | |
![]() | glpk-4.65 | 2020-09-12 16:21 | 1.3K | |
![]() | gmm-5.1 | 2020-09-13 08:15 | 925 | |
![]() | gmm-5.3 | 2020-09-12 16:21 | 677 | |
![]() | gmp-ecm-7.0.4-r2 | 2020-09-12 16:21 | 797 | |
![]() | gmp-ecm-9999 | 2020-09-13 08:15 | 1.3K | |
![]() | gp2c-0.0.11.2-r1 | 2020-02-28 12:39 | 389 | |
![]() | gp2c-0.0.11.3 | 2020-03-06 14:09 | 390 | |
![]() | gretl-1.9.14 | 2020-09-25 10:09 | 1.9K | |
![]() | gretl-1.9.90 | 2020-09-25 10:09 | 2.1K | |
![]() | gsl-shell-2.3.0_beta1 | 2020-09-11 15:25 | 697 | |
![]() | jags-3.4.0 | 2020-09-13 08:15 | 1.2K | |
![]() | jags-4.0.0 | 2020-09-13 08:15 | 1.2K | |
![]() | jags-4.1.0 | 2020-09-13 08:15 | 1.0K | |
![]() | jags-4.2.0 | 2020-09-13 08:15 | 1.0K | |
![]() | lpsolve-5.5.2.0 | 2019-07-30 23:09 | 418 | |
![]() | lrcalc-1.2 | 2020-03-02 12:39 | 375 | |
![]() | mathematica-10.3.1-r1 | 2020-09-11 15:25 | 642 | |
![]() | mathematica-12.1.1-r1 | 2020-09-20 16:39 | 642 | |
![]() | mathmod-4.1-r1 | 2020-09-11 15:25 | 730 | |
![]() | mathomatic-16.0.5 | 2020-09-13 08:15 | 1.0K | |
![]() | maxima-5.38.1 | 2020-09-25 10:09 | 2.5K | |
![]() | maxima-5.42.1 | 2020-09-25 10:09 | 2.5K | |
![]() | maxima-5.42.2 | 2020-09-25 10:09 | 2.5K | |
![]() | maxima-5.43.2 | 2020-09-25 10:09 | 2.5K | |
![]() | maxima-5.44.0 | 2020-09-25 10:09 | 2.5K | |
![]() | minisat-2.2.0-r4 | 2020-09-11 15:25 | 542 | |
![]() | minisat-2.2.0_p20130925-r1 | 2020-09-11 15:25 | 656 | |
![]() | msieve-1.51-r1 | 2020-09-13 08:15 | 1.0K | |
![]() | msieve-1.53-r1 | 2020-09-11 15:25 | 666 | |
![]() | msieve-9999 | 2020-09-13 08:15 | 1.0K | |
![]() | nauty-2.5.9 | 2020-02-22 21:40 | 385 | |
![]() | nauty-2.6.7 | 2020-09-11 15:25 | 968 | |
![]() | nestedsums-1.5.2-r1 | 2020-09-12 16:21 | 837 | |
![]() | normaliz-2.12.2 | 2020-09-13 08:15 | 1.0K | |
![]() | normaliz-3.1.1 | 2020-09-13 08:15 | 1.0K | |
![]() | normaliz-3.1.3 | 2020-09-11 15:25 | 646 | |
![]() | normaliz-3.3.0 | 2020-09-13 08:15 | 1.2K | |
![]() | num-utils-0.5-r1 | 2020-09-19 19:09 | 419 | |
![]() | num-utils-0.5-r2 | 2020-09-19 19:09 | 447 | |
![]() | octave-5.2.0 | 2020-09-13 08:15 | 4.2K | |
![]() | octave-epstk-2.4 | 2020-09-19 19:09 | 601 | |
![]() | otter-3.3-r3 | 2020-09-11 15:25 | 517 | |
![]() | pari-2.11.4 | 2020-09-12 16:21 | 1.1K | |
![]() | pari-data-20191216 | 2020-02-24 13:09 | 740 | |
![]() | petsc-3.13.0 | 2020-09-17 17:12 | 2.1K | |
![]() | petsc-3.13.1 | 2020-09-17 17:12 | 2.1K | |
![]() | planarity-3.0.0.5 | 2020-03-24 19:09 | 368 | |
![]() | polymake-3.0_p2 | 2020-09-13 08:15 | 1.7K | |
![]() | prng-3.0.2-r2 | 2020-09-11 15:25 | 679 | |
![]() | prover9-2009.11a | 2020-09-12 16:21 | 677 | |
![]() | psmt2-frontend-0.2 | 2020-09-11 15:25 | 865 | |
![]() | pspp-1.2.0 | 2020-09-25 10:09 | 1.7K | |
![]() | pspp-1.2.0-r1 | 2020-10-04 17:09 | 1.6K | |
![]() | relational-2.5-r2 | 2020-09-17 17:12 | 1.9K | |
![]() | rkward-0.7.1b | 2020-09-29 14:11 | 2.5K | |
![]() | rngstreams-1.0.1 | 2019-12-08 00:09 | 430 | |
![]() | rstudio-1.2.5033 | 2020-09-12 16:21 | 3.7K | |
![]() | rstudio-1.2.5042 | 2020-09-12 16:21 | 3.7K | |
![]() | rstudio-1.3.959 | 2020-09-12 16:21 | 3.7K | |
![]() | rstudio-1.3.1056 | 2020-09-29 14:11 | 3.7K | |
![]() | rstudio-1.3.1093 | 2020-09-29 14:11 | 3.7K | |
![]() | rw-0.8-r3 | 2020-09-11 15:25 | 746 | |
![]() | sha1-polyml-5.5.0 | 2020-09-11 15:25 | 410 | |
![]() | sha1-polyml-5.6_p1 | 2020-09-11 15:25 | 402 | |
![]() | singular-4.0.2 | 2020-09-25 10:09 | 1.8K | |
![]() | singular-4.0.3 | 2020-09-25 10:09 | 1.8K | |
![]() | slepc-3.13.1 | 2020-09-17 17:12 | 1.0K | |
![]() | spin-6.4.5 | 2020-09-13 08:15 | 1.0K | |
![]() | sympow-2.023.6 | 2020-09-11 15:25 | 493 | |
![]() | topcom-0.17.7 | 2020-09-13 08:15 | 1.1K | |
![]() | twelf-1.7.1 | 2020-09-25 10:09 | 1.1K | |
![]() | twelf-1.7.1-r1 | 2020-09-25 10:09 | 1.1K | |
![]() | unuran-1.8.1 | 2019-12-08 00:09 | 628 | |
![]() | why3-for-spark-2018 | 2020-09-11 15:25 | 1.4K | |
![]() | why3-for-spark-2019 | 2020-09-11 15:25 | 1.4K | |
![]() | why3-for-spark-2019-r1 | 2020-09-11 15:25 | 1.5K | |
![]() | why3-for-spark-2019-r2 | 2020-06-15 17:39 | 1.1K | |
![]() | wxmaxima-18.11.4 | 2020-09-13 08:15 | 1.4K | |
![]() | wxmaxima-20.01.1 | 2020-09-12 16:21 | 1.2K | |
![]() | wxmaxima-20.01.3 | 2020-09-12 16:21 | 1.2K | |
![]() | wxmaxima-20.02.4 | 2020-09-12 16:21 | 1.2K | |
![]() | wxmaxima-20.04.0 | 2020-09-12 16:21 | 1.2K | |
![]() | wxmaxima-20.07.0 | 2020-09-12 16:21 | 1.2K | |
![]() | yacas-1.7.0-r1 | 2020-09-29 14:11 | 1.7K | |
![]() | yafu-1.34.3 | 2020-09-13 08:15 | 1.0K | |
![]() | yafu-9999 | 2020-09-13 08:15 | 1.1K | |
![]() | z3-4.8.8 | 2020-09-29 14:11 | 2.5K | |
![]() | z3-4.8.9 | 2020-09-29 14:11 | 2.7K | |