Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
4ti2-1.6.7-r1 | 2021-11-19 02:09 | 833 | ||
Manifest.gz | 2021-12-07 08:40 | 22K | ||
agda-2.6.1.2 | 2021-09-11 10:11 | 5.3K | ||
agda-stdlib-2.6.1.2.1.4 | 2021-09-11 10:11 | 1.0K | ||
alt-ergo-2.3.0 | 2021-01-17 06:39 | 805 | ||
arb-2.19.0 | 2021-12-06 13:39 | 1.1K | ||
arb-2.21.0 | 2021-11-22 05:39 | 1.1K | ||
bertini-1.4 | 2021-09-04 02:24 | 735 | ||
calc-2.12.5.4 | 2021-09-04 02:24 | 569 | ||
calc-2.13.0.1 | 2021-09-04 02:24 | 578 | ||
cgal-5.1-r2 | 2021-10-31 21:44 | 1.6K | ||
cgal-5.2-r2 | 2021-10-31 21:44 | 1.6K | ||
cgal-5.2.1-r2 | 2021-10-31 21:44 | 1.6K | ||
cgal-5.2.2-r1 | 2021-10-31 21:44 | 1.6K | ||
cliquer-1.22 | 2021-11-29 10:09 | 380 | ||
coq-8.11.2 | 2021-09-04 02:24 | 1.0K | ||
coq-8.11.2-r1 | 2021-09-04 02:24 | 1.0K | ||
coq-8.12.0-r1 | 2021-09-04 02:24 | 1.0K | ||
coq-8.12.0-r2 | 2021-12-07 08:40 | 1.0K | ||
coq-8.13.0 | 2021-07-01 21:39 | 1.0K | ||
coq-8.13.0-r1 | 2021-07-26 14:39 | 1.0K | ||
cvc4-1.7-r1 | 2021-11-09 12:44 | 1.4K | ||
cvc4-1.8 | 2021-11-09 12:44 | 1.4K | ||
dataplot-20131220 | 2021-10-01 23:11 | 1.4K | ||
diagrtb-2.64 | 2021-10-31 21:44 | 1.1K | ||
dsfmt-2.2.4 | 2021-10-07 12:39 | 490 | ||
dunshire-0.1.1-r1 | 2021-11-09 12:44 | 1.5K | ||
eclib-20210625 | 2021-11-03 12:39 | 645 | ||
ent-101202 | 2021-09-04 02:24 | 405 | ||
euler-1.61.0-r1 | 2021-11-19 02:09 | 754 | ||
fann-2.2.0-r1 | 2021-10-31 21:44 | 866 | ||
fann-9999 | 2021-10-31 21:44 | 860 | ||
flint-2.7.1-r1 | 2021-11-19 02:09 | 1.3K | ||
flint-2.8.4 | 2021-11-22 05:39 | 1.2K | ||
flintqs-1.0 | 2021-01-06 17:39 | 378 | ||
form-4.2.1 | 2021-10-01 23:11 | 1.0K | ||
fricas-1.3.6 | 2021-09-04 02:24 | 1.2K | ||
fricas-1.3.7 | 2021-09-04 02:24 | 1.2K | ||
frobby-0.9.0-r3 | 2021-09-04 02:24 | 529 | ||
genius-1.0.25 | 2021-10-31 21:44 | 2.1K | ||
genius-1.0.27 | 2021-11-11 15:09 | 1.7K | ||
geogebra-bin-5.0.604.0-r2 | 2021-10-31 21:44 | 867 | ||
geomview-1.9.5-r1 | 2021-10-31 21:44 | 1.2K | ||
gfan-0.6.2-r2 | 2021-09-04 02:24 | 831 | ||
gfan-0.6.2-r3 | 2021-09-04 02:24 | 832 | ||
giac-1.7.0.13-r1 | 2021-11-02 20:39 | 2.0K | ||
gimps-30.3.6 | 2021-09-20 01:10 | 762 | ||
gimps-30.5.2 | 2021-09-20 01:10 | 764 | ||
gimps-30.7.9 | 2021-11-29 09:39 | 716 | ||
ginac-1.7.11 | 2021-11-19 02:09 | 841 | ||
ginac-1.8.0 | 2021-11-09 12:44 | 842 | ||
glpk-5.0-r1 | 2021-11-03 00:40 | 1.3K | ||
gmm-5.1 | 2021-09-04 02:24 | 934 | ||
gmm-5.3 | 2021-09-04 02:24 | 686 | ||
gmm-5.4 | 2021-11-08 21:09 | 515 | ||
gmp-ecm-7.0.4-r4 | 2021-11-22 05:39 | 1.1K | ||
gp2c-0.0.12 | 2021-12-06 09:39 | 388 | ||
gretl-2021d | 2021-11-28 01:10 | 1.8K | ||
gsl-shell-2.3.0_beta1-r1 | 2021-09-04 02:24 | 907 | ||
jags-4.2.0 | 2021-09-04 02:24 | 602 | ||
jags-4.3.0 | 2021-09-04 02:24 | 612 | ||
lcalc-2.0.3 | 2021-11-02 14:40 | 556 | ||
lcalc-2.0.4 | 2021-11-26 03:10 | 557 | ||
lean-3.35.1-r2 | 2021-12-04 05:09 | 887 | ||
lean-3.9999 | 2021-12-04 05:09 | 849 | ||
lpsolve-5.5.2.0 | 2021-11-19 02:09 | 419 | ||
lrcalc-1.2 | 2021-01-06 17:39 | 364 | ||
lrcalc-2.0 | 2021-02-08 03:39 | 366 | ||
mathematica-10.3.1-r1 | 2021-10-31 21:44 | 642 | ||
mathematica-12.1.0 | 2021-10-31 21:44 | 642 | ||
mathematica-12.1.1-r1 | 2021-10-31 21:44 | 642 | ||
mathlib-tools-1.1.0 | 2021-11-26 15:40 | 4.0K | ||
mathmod-4.1-r1 | 2021-10-31 21:44 | 690 | ||
mathomatic-16.0.5 | 2021-11-19 02:09 | 1.0K | ||
maxima-5.42.1-r1 | 2021-11-19 02:09 | 2.6K | ||
maxima-5.44.0-r9 | 2021-11-09 12:44 | 3.4K | ||
maxima-5.44.0-r10 | 2021-11-09 12:44 | 3.0K | ||
maxima-5.45.1-r2 | 2021-11-09 12:44 | 3.3K | ||
metamath-0.198 | 2021-11-26 15:40 | 696 | ||
minisat-2.2.0_p20130925-r1 | 2021-09-04 02:24 | 656 | ||
msieve-1.53-r1 | 2021-09-04 02:24 | 662 | ||
nauty-2.6.7 | 2021-10-01 23:11 | 1.4K | ||
nauty-2.6.7-r1 | 2021-10-01 23:11 | 935 | ||
nauty-2.7.3 | 2021-11-29 10:09 | 1.0K | ||
nestedsums-1.5.2-r1 | 2021-09-04 02:24 | 809 | ||
normaliz-3.1.3-r1 | 2021-09-04 02:24 | 652 | ||
normaliz-3.8.10-r1 | 2021-10-01 23:11 | 869 | ||
num-utils-0.5-r2 | 2020-09-19 22:09 | 447 | ||
octave-5.2.0 | 2021-12-02 19:10 | 4.2K | ||
octave-6.2.0 | 2021-12-02 19:10 | 4.3K | ||
octave-6.3.0 | 2021-12-02 19:10 | 4.3K | ||
octave-epstk-2.4 | 2021-11-22 05:39 | 435 | ||
otter-3.3-r3 | 2021-09-04 02:24 | 744 | ||
pari-2.13.2 | 2021-11-10 06:39 | 1.1K | ||
pari-2.13.3 | 2021-11-11 03:09 | 1.0K | ||
pari-data-20191216 | 2021-01-06 17:39 | 729 | ||
petsc-3.13.1 | 2021-11-09 12:44 | 2.2K | ||
petsc-3.14.6 | 2021-11-09 12:44 | 2.2K | ||
petsc-3.15.0 | 2021-11-09 12:44 | 2.2K | ||
petsc-3.16.0 | 2021-12-01 23:39 | 2.3K | ||
planarity-3.0.1.1 | 2021-11-02 18:09 | 382 | ||
polymake-4.5 | 2021-10-23 03:39 | 1.6K | ||
prng-3.0.2-r3 | 2021-10-01 23:11 | 713 | ||
prover9-2009.11a | 2021-09-04 02:24 | 515 | ||
psmt2-frontend-0.2 | 2021-10-01 23:11 | 940 | ||
pspp-1.2.0-r1 | 2021-11-09 12:44 | 1.7K | ||
pspp-1.4.1 | 2021-11-09 12:44 | 1.7K | ||
relational-2.5-r2 | 2021-11-09 12:44 | 1.6K | ||
rkward-0.7.2 | 2021-11-29 19:10 | 2.5K | ||
rngstreams-1.0.1 | 2019-12-08 02:09 | 430 | ||
rstudio-1.3.1093-r1 | 2021-12-02 19:10 | 3.6K | ||
rw-0.9 | 2021-05-26 10:09 | 375 | ||
sha1-polyml-5.6_p1 | 2021-09-04 02:24 | 402 | ||
singular-4.2.0_p1 | 2021-11-19 02:09 | 1.2K | ||
singular-4.2.0_p3-r1 | 2021-10-01 23:11 | 1.4K | ||
singular-4.2.1 | 2021-11-22 05:39 | 1.4K | ||
slepc-3.13.1 | 2021-11-09 12:44 | 1.1K | ||
slepc-3.14.2 | 2021-11-09 12:44 | 1.1K | ||
slepc-3.15.0 | 2021-11-09 12:44 | 1.1K | ||
slepc-3.16.0 | 2021-12-03 09:39 | 1.1K | ||
spin-6.5.2 | 2021-11-28 01:40 | 653 | ||
sympow-2.023.6 | 2021-09-04 02:24 | 493 | ||
topcom-0.17.7-r1 | 2021-09-04 02:24 | 1.1K | ||
topcom-0.17.8-r1 | 2021-10-01 23:11 | 1.1K | ||
twelf-1.7.1-r1 | 2021-09-04 02:24 | 762 | ||
unuran-1.8.1 | 2019-12-08 02:09 | 628 | ||
why3-for-spark-2018 | 2021-09-18 20:09 | 1.1K | ||
why3-for-spark-2019-r2 | 2021-01-17 06:39 | 1.2K | ||
why3-for-spark-2020 | 2021-10-01 23:11 | 1.7K | ||
why3-for-spark-2021 | 2021-10-01 23:11 | 1.7K | ||
wxmaxima-20.12.2 | 2021-10-31 21:44 | 1.3K | ||
wxmaxima-21.05.2 | 2021-10-31 21:44 | 1.3K | ||
wxmaxima-21.11.0 | 2021-11-29 07:39 | 1.3K | ||
yacas-1.7.0-r1 | 2021-10-31 21:44 | 1.7K | ||
yafu-1.34.3-r1 | 2021-09-04 02:24 | 729 | ||
z3-4.8.11b | 2021-12-02 19:10 | 2.8K | ||
z3-4.8.13 | 2021-12-02 19:10 | 2.8K | ||