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 | ||