|
📁 ../
|
- |
- |
|
📄 4ti2-1.6.10
|
964 bytes
|
2025-10-12 18:26:32 |
|
📄 4ti2-1.6.7-r1
|
866 bytes
|
2025-10-12 18:26:32 |
|
📄 abc-0_p20230313
|
600 bytes
|
2025-10-12 18:26:32 |
|
📄 abc-9999
|
559 bytes
|
2025-10-12 18:26:32 |
|
📄 acl2-8.5_p20240307-r1
|
689 bytes
|
2025-04-23 19:27:42 |
|
📄 acl2-8.6
|
678 bytes
|
2025-07-02 04:11:47 |
|
📄 alectryon-1.4.0-r2
|
2575 bytes
|
2025-11-13 09:46:12 |
|
📄 alt-ergo-2.4.3-r3
|
1227 bytes
|
2025-09-26 09:11:00 |
|
📄 arb-2.23.0
|
947 bytes
|
2025-11-16 22:12:34 |
|
📄 bertini-1.4
|
571 bytes
|
2025-10-12 18:26:32 |
|
📄 bertini-1.6
|
623 bytes
|
2025-10-12 18:26:32 |
|
📄 btor2tools-1.0.0_pre20220518-r1
|
757 bytes
|
2025-11-16 22:12:34 |
|
📄 cadabra-2.4.5.4
|
2838 bytes
|
2025-11-16 22:12:34 |
|
📄 cadabra-2.4.5.6
|
2839 bytes
|
2025-11-16 22:12:34 |
|
📄 cadabra-2.4.5.7
|
2839 bytes
|
2025-11-16 22:12:34 |
|
📄 cadical-1.9.5
|
386 bytes
|
2025-10-12 18:26:32 |
|
📄 cadical-2.0.0
|
515 bytes
|
2025-10-12 18:26:32 |
|
📄 calc-2.13.0.1
|
566 bytes
|
2025-10-12 18:26:32 |
|
📄 cgal-5.6
|
1144 bytes
|
2025-11-16 22:12:34 |
|
📄 cgal-5.6.1
|
1153 bytes
|
2025-11-16 22:12:34 |
|
📄 cgal-6.0
|
1144 bytes
|
2025-11-16 22:12:34 |
|
📄 cgal-6.0.1
|
1182 bytes
|
2025-11-16 22:12:34 |
|
📄 cgal-6.1
|
1179 bytes
|
2025-11-16 22:12:34 |
|
📄 clipper2-1.5.3
|
775 bytes
|
2025-11-16 22:12:34 |
|
📄 clipper2-1.5.4
|
775 bytes
|
2025-11-16 22:12:34 |
|
📄 cliquer-1.22
|
389 bytes
|
2023-11-23 01:40:40 |
|
📄 cliquer-1.23
|
405 bytes
|
2025-08-09 22:11:23 |
|
📄 coq-8.17.1-r1
|
1427 bytes
|
2025-09-28 18:42:20 |
|
📄 coq-8.19.2-r1
|
1426 bytes
|
2025-09-28 18:42:20 |
|
📄 coq-8.20.0-r1
|
1426 bytes
|
2025-09-28 18:42:20 |
|
📄 coq-9.0.0
|
1282 bytes
|
2025-09-28 18:42:20 |
|
📄 coq-9.1.0-r1
|
1313 bytes
|
2025-11-08 01:11:10 |
|
📄 coq-mathcomp-1.19.0-r1
|
502 bytes
|
2025-03-17 03:11:20 |
|
📄 coq-serapi-0.20.0
|
1367 bytes
|
2025-09-26 09:11:00 |
|
📄 coq-stdlib-9.0.0-r1
|
684 bytes
|
2025-11-08 01:11:10 |
|
📄 cryptominisat-5.11.21-r2
|
1900 bytes
|
2025-11-16 22:12:34 |
|
📄 cubicle-1.2.0-r2
|
1112 bytes
|
2025-10-12 18:26:32 |
|
📄 cudd-3.0.0
|
295 bytes
|
2022-12-19 01:10:27 |
|
📄 cvc4-1.8-r7
|
1196 bytes
|
2025-11-16 22:12:34 |
|
📄 dataplot-20131220
|
1309 bytes
|
2025-11-07 07:13:51 |
|
📄 dsfmt-2.2.4
|
472 bytes
|
2025-10-12 18:26:32 |
|
📄 dunshire-0.1.3-r2
|
2116 bytes
|
2025-11-13 09:46:12 |
|
📄 easycrypt-2025.10
|
1077 bytes
|
2025-10-07 01:12:59 |
|
📄 easycrypt-2025.11
|
1077 bytes
|
2025-11-16 23:40:47 |
|
📄 eclib-20250122
|
653 bytes
|
2025-04-19 03:34:06 |
|
📄 eclib-20250627
|
654 bytes
|
2025-07-31 04:41:48 |
|
📄 ent-101202
|
478 bytes
|
2025-10-12 18:26:32 |
|
📄 eprover-3.0.03
|
497 bytes
|
2025-10-12 18:26:32 |
|
📄 eprover-3.0_pre008
|
504 bytes
|
2025-10-12 18:26:32 |
|
📄 euler-1.61.0-r1
|
793 bytes
|
2025-10-12 18:26:32 |
|
📄 fann-2.2.0-r2
|
681 bytes
|
2025-11-16 22:12:34 |
|
📄 fann-9999
|
739 bytes
|
2025-11-16 22:12:34 |
|
📄 flint-3.1.3_p1-r4
|
1064 bytes
|
2025-10-23 21:44:29 |
|
📄 flint-3.3.1-r1
|
1031 bytes
|
2025-10-23 21:44:29 |
|
📄 flocq-4.2.1
|
541 bytes
|
2025-02-17 01:41:04 |
|
📄 form-4.3.1
|
1320 bytes
|
2025-11-04 13:12:11 |
|
📄 form-5.0.0_beta1
|
1343 bytes
|
2025-11-04 13:12:11 |
|
📄 fricas-1.3.12
|
1474 bytes
|
2025-08-11 17:42:58 |
|
📄 frobby-0.9.0-r4
|
508 bytes
|
2025-10-12 18:26:32 |
|
📄 functions-matlab-colormaps-1.0_p20250328
|
481 bytes
|
2025-06-20 20:06:07 |
|
📄 gap-4.14.0-r1
|
1147 bytes
|
2025-11-04 13:12:11 |
|
📄 gap-4.15.1
|
1142 bytes
|
2025-11-04 13:12:11 |
|
📄 gappa-1.4.1
|
644 bytes
|
2024-11-12 21:41:25 |
|
📄 gappa-1.4.2
|
644 bytes
|
2024-11-12 21:41:25 |
|
📄 gappalib-coq-1.5.2-r1
|
704 bytes
|
2024-10-08 18:52:45 |
|
📄 gappalib-coq-1.5.3
|
704 bytes
|
2024-10-08 18:52:45 |
|
📄 genius-1.0.27
|
1589 bytes
|
2025-10-12 18:26:32 |
|
📄 geogebra-bin-5.0.752.0
|
895 bytes
|
2024-10-08 18:52:45 |
|
📄 geogebra-bin-6.0.804.0-r1
|
1559 bytes
|
2025-10-31 08:10:41 |
|
📄 geomview-1.9.5-r1
|
1046 bytes
|
2025-11-04 13:12:11 |
|
📄 gfan-0.6.2-r6
|
721 bytes
|
2025-10-12 18:26:32 |
|
📄 gfan-0.6.2-r7
|
722 bytes
|
2025-10-12 18:26:32 |
|
📄 giac-1.9.0.995-r2
|
1930 bytes
|
2025-10-12 18:26:32 |
|
📄 gimps-30.19.14
|
870 bytes
|
2025-10-12 18:26:32 |
|
📄 gimps-30.19.20
|
869 bytes
|
2025-10-12 18:26:32 |
|
📄 gimps-30.8.15
|
839 bytes
|
2025-10-12 18:26:32 |
|
📄 gimps-30.8.17
|
716 bytes
|
2025-10-12 18:26:32 |
|
📄 ginac-1.8.9
|
854 bytes
|
2025-10-23 21:44:29 |
|
📄 glpk-5.0-r3
|
1279 bytes
|
2025-11-04 13:12:11 |
|
📄 gmm-5.4.2
|
359 bytes
|
2024-10-26 01:41:04 |
|
📄 gmp-ecm-7.0.6-r1
|
646 bytes
|
2025-10-12 18:26:32 |
|
📄 gp2c-0.0.12
|
388 bytes
|
2021-12-06 10:39:52 |
|
📄 gp2c-0.0.14
|
396 bytes
|
2025-08-08 16:05:21 |
|
📄 gretl-2021d
|
1859 bytes
|
2025-10-12 18:26:32 |
|
📄 gsl-shell-2.3.5
|
1538 bytes
|
2025-11-16 09:11:07 |
|
📄 jags-4.3.1-r1
|
982 bytes
|
2025-10-12 18:26:32 |
|
📄 kind2-1.9.0
|
843 bytes
|
2025-09-26 09:11:00 |
|
📄 kissat-3.1.1-r1
|
481 bytes
|
2025-10-12 18:26:32 |
|
📄 lcalc-2.0.5-r2
|
676 bytes
|
2024-08-27 04:11:33 |
|
📄 lcalc-2.1.1
|
841 bytes
|
2025-10-12 18:26:32 |
|
📄 lean-4.14.0-r1
|
1115 bytes
|
2025-11-16 22:12:34 |
|
📄 lean-4.23.0
|
1116 bytes
|
2025-11-16 22:12:34 |
|
📄 libpoly-0.1.11
|
1640 bytes
|
2025-11-16 22:12:34 |
|
📄 lpsolve-5.5.2.11-r2
|
514 bytes
|
2025-10-12 18:26:32 |
|
📄 lrcalc-1.2
|
365 bytes
|
2023-06-09 18:40:46 |
|
📄 lrcalc-2.1
|
372 bytes
|
2024-08-21 00:11:22 |
|
📄 Manifest.gz
|
32312 bytes
|
2025-11-16 23:40:47 |
|
📄 manifold-3.1.0-r1
|
2394 bytes
|
2025-11-16 22:12:34 |
|
📄 manifold-3.2.1
|
2478 bytes
|
2025-11-16 22:12:34 |
|
📄 manifold-9999
|
2457 bytes
|
2025-11-16 22:12:34 |
|
📄 mathematica-10.3.1-r1
|
671 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-10.3.1-r2
|
691 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-12.1.0
|
671 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-12.1.1-r1
|
671 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-12.2.0
|
671 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-13.0.0
|
676 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-13.0.1
|
1002 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-13.1.0
|
1090 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-13.2.1
|
1069 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-13.3.1-r1
|
1493 bytes
|
2025-10-12 18:26:32 |
|
📄 mathematica-14.0.0-r2
|
1493 bytes
|
2025-10-29 01:41:21 |
|
📄 mathematica-14.1.0-r1
|
1541 bytes
|
2025-10-29 01:41:21 |
|
📄 mathmod-12.1
|
854 bytes
|
2025-10-12 18:26:32 |
|
📄 mathmod-13.0
|
854 bytes
|
2025-11-04 14:40:49 |
|
📄 mathomatic-16.0.5-r1
|
653 bytes
|
2025-10-12 18:26:32 |
|
📄 maxima-5.47.0-r2
|
3154 bytes
|
2025-10-23 21:44:29 |
|
📄 maxima-5.48.1
|
3155 bytes
|
2025-10-23 21:44:29 |
|
📄 maxima-5.48.1-r1
|
3159 bytes
|
2025-11-03 19:13:57 |
|
📄 metamath-0.198
|
721 bytes
|
2025-10-12 18:26:32 |
|
📄 metamath-databases-20220303
|
420 bytes
|
2023-03-04 19:40:16 |
|
📄 minisat-2.2.1-r1
|
827 bytes
|
2025-11-16 22:12:34 |
|
📄 msieve-1.53-r1
|
661 bytes
|
2025-11-04 13:12:11 |
|
📄 msieve-1.53-r3
|
787 bytes
|
2025-11-04 13:12:11 |
|
📄 nauty-2.8.8-r1
|
1040 bytes
|
2025-11-04 13:12:11 |
|
📄 nestedsums-1.5.2-r1
|
618 bytes
|
2025-10-12 18:26:32 |
|
📄 normaliz-3.10.1
|
989 bytes
|
2025-10-12 18:26:32 |
|
📄 normaliz-3.10.5
|
640 bytes
|
2025-10-12 18:26:32 |
|
📄 normaliz-3.9.3
|
637 bytes
|
2025-10-12 18:26:32 |
|
📄 num-utils-0.5-r2
|
445 bytes
|
2023-06-09 18:40:46 |
|
📄 octave-9.2.0-r2
|
4284 bytes
|
2025-11-07 07:13:51 |
|
📄 octave-epstk-2.4
|
435 bytes
|
2021-11-22 06:39:53 |
|
📄 opensmt-2.5.2
|
1122 bytes
|
2025-11-16 22:12:34 |
|
📄 opensmt-2.7.0
|
1010 bytes
|
2025-11-16 22:12:34 |
|
📄 otter-3.3-r4
|
569 bytes
|
2025-10-12 18:26:32 |
|
📄 palp-2.21
|
538 bytes
|
2025-10-12 18:26:32 |
|
📄 pari-2.15.5
|
1043 bytes
|
2025-10-12 18:26:32 |
|
📄 pari-2.17.1
|
1043 bytes
|
2025-10-12 18:26:32 |
|
📄 pari-2.17.2
|
1045 bytes
|
2025-10-12 18:26:32 |
|
📄 pari-data-20191216
|
725 bytes
|
2024-08-19 16:11:05 |
|
📄 petsc-3.22.2
|
1982 bytes
|
2025-11-07 07:13:51 |
|
📄 petsc-3.23.3
|
2117 bytes
|
2025-11-07 07:13:51 |
|
📄 petsc-3.23.4
|
2117 bytes
|
2025-11-07 07:13:51 |
|
📄 picosat-965
|
350 bytes
|
2025-10-12 18:26:32 |
|
📄 planarity-3.0.2.0
|
390 bytes
|
2024-08-21 00:11:22 |
|
📄 planarity-4.0.0.0
|
395 bytes
|
2025-06-22 23:11:03 |
|
📄 plfit-0.9.5
|
735 bytes
|
2025-11-16 22:12:34 |
|
📄 plfit-1.0.1
|
744 bytes
|
2025-11-16 22:12:34 |
|
📄 polymake-4.13
|
1716 bytes
|
2025-11-13 09:46:12 |
|
📄 polymake-4.14
|
1718 bytes
|
2025-11-13 09:46:12 |
|
📄 primecount-7.13-r1
|
885 bytes
|
2025-11-16 22:12:34 |
|
📄 primesieve-12.3
|
893 bytes
|
2025-11-16 22:12:34 |
|
📄 prng-3.0.2-r4
|
739 bytes
|
2025-10-12 18:26:32 |
|
📄 prover9-2009.11a-r2
|
497 bytes
|
2025-10-12 18:26:32 |
|
📄 proverif-2.04-r1
|
773 bytes
|
2025-05-14 11:41:38 |
|
📄 proverif-2.05
|
759 bytes
|
2025-05-14 11:41:38 |
|
📄 proverif-9999
|
769 bytes
|
2025-05-14 11:41:38 |
|
📄 psmt2-frontend-0.4.0
|
827 bytes
|
2025-09-26 09:11:00 |
|
📄 pspp-1.6.2-r3
|
1566 bytes
|
2025-11-04 13:12:11 |
|
📄 pspp-2.0.1-r1
|
1574 bytes
|
2025-11-04 13:12:11 |
|
📄 rkward-0.8.2
|
2833 bytes
|
2025-11-16 22:12:34 |
|
📄 rngstreams-1.0.1
|
455 bytes
|
2023-06-09 18:40:46 |
|
📄 rw-0.9
|
383 bytes
|
2024-09-21 07:11:25 |
|
📄 sha1-polyml-5.9
|
410 bytes
|
2025-10-12 18:26:32 |
|
📄 singular-4.4.1
|
972 bytes
|
2025-06-22 23:11:03 |
|
📄 singular-4.4.1-r1
|
973 bytes
|
2025-07-31 18:07:47 |
|
📄 slepc-3.22.1
|
1020 bytes
|
2025-10-23 21:44:29 |
|
📄 slepc-3.23.1
|
1041 bytes
|
2025-10-23 21:44:29 |
|
📄 smtinterpol-2.5_p20211018-r1
|
751 bytes
|
2025-10-03 19:40:40 |
|
📄 spin-6.5.2-r1
|
652 bytes
|
2025-10-12 18:26:32 |
|
📄 stp-2.3.3-r3
|
1923 bytes
|
2025-11-16 22:12:34 |
|
📄 stp-2.3.4
|
1901 bytes
|
2025-11-16 22:12:34 |
|
📄 sympow-2.023.7
|
483 bytes
|
2025-10-12 18:26:32 |
|
📄 topcom-0.17.8-r3
|
1085 bytes
|
2025-10-12 18:26:32 |
|
📄 topcom-1.1.2
|
999 bytes
|
2025-10-12 18:26:32 |
|
📄 twelf-1.7.1-r2
|
785 bytes
|
2025-10-12 18:26:32 |
|
📄 unuran-1.8.1
|
653 bytes
|
2023-06-09 18:40:46 |
|
📄 unuran-1.9.0
|
1052 bytes
|
2025-10-12 18:26:32 |
|
📄 vampire-4.8
|
914 bytes
|
2025-11-16 22:12:34 |
|
📄 vampire-4.9
|
914 bytes
|
2025-11-16 22:12:34 |
|
📄 verifpal-0.27.0
|
753 bytes
|
2025-10-12 18:26:32 |
|
📄 verit-2021.06.2
|
320 bytes
|
2022-03-11 00:39:55 |
|
📄 why3-1.6.0
|
1902 bytes
|
2025-10-12 18:26:32 |
|
📄 why3-1.7.2
|
1902 bytes
|
2025-10-12 18:26:32 |
|
📄 why3-1.8.0
|
1932 bytes
|
2025-10-12 18:26:32 |
|
📄 why3-1.8.1
|
1932 bytes
|
2025-10-12 18:26:32 |
|
📄 why3-1.8.2
|
1967 bytes
|
2025-10-12 18:26:32 |
|
📄 why3-for-spark-2021-r1
|
2029 bytes
|
2025-10-12 18:26:32 |
|
📄 why3-for-spark-2023.12.13-r2
|
2047 bytes
|
2025-10-12 18:26:32 |
|
📄 wxmaxima-25.04.0-r2
|
1212 bytes
|
2025-11-16 22:12:34 |
|
📄 yacas-1.9.1-r2
|
1121 bytes
|
2025-11-16 22:12:34 |
|
📄 yafu-1.34.3-r2
|
764 bytes
|
2025-10-12 18:26:32 |
|
📄 yices2-2.6.4-r1
|
919 bytes
|
2025-10-12 18:26:32 |
|
📄 yices2-2.6.5
|
965 bytes
|
2025-10-12 18:26:32 |
|
📄 z3-4.15.3
|
2424 bytes
|
2025-11-16 22:12:34 |
|
📄 z3-4.15.4
|
2429 bytes
|
2025-11-16 22:12:34 |