|
📁 ../
|
- |
- |
|
📄 4ti2-1.6.10
|
940 bytes
|
2025-12-24 17:20:56 |
|
📄 4ti2-1.6.7-r1
|
842 bytes
|
2025-12-24 17:20:56 |
|
📄 abc-0_p20230313
|
600 bytes
|
2025-12-24 17:20:56 |
|
📄 abc-9999
|
559 bytes
|
2025-12-24 17:20:56 |
|
📄 acl2-8.5_p20240307-r1
|
689 bytes
|
2025-04-23 16:27:42 |
|
📄 acl2-8.6
|
678 bytes
|
2025-07-02 01:11:47 |
|
📄 alectryon-1.4.0-r2
|
1999 bytes
|
2025-12-24 17:20:56 |
|
📄 alt-ergo-2.4.3-r3
|
1227 bytes
|
2025-09-26 06:11:00 |
|
📄 arb-2.23.0
|
912 bytes
|
2025-12-24 17:20:56 |
|
📄 bertini-1.4
|
571 bytes
|
2025-12-24 17:20:56 |
|
📄 bertini-1.6
|
623 bytes
|
2025-12-24 17:20:56 |
|
📄 btor2tools-1.0.0_pre20220518-r1
|
757 bytes
|
2025-12-24 17:20:56 |
|
📄 cadabra-2.4.5.4
|
2838 bytes
|
2025-12-24 17:20:56 |
|
📄 cadabra-2.4.5.6
|
2839 bytes
|
2025-12-24 17:20:56 |
|
📄 cadabra-2.4.5.7
|
2839 bytes
|
2025-12-24 17:20:56 |
|
📄 cadical-1.9.5
|
386 bytes
|
2025-12-24 17:20:56 |
|
📄 cadical-2.0.0
|
515 bytes
|
2025-12-24 17:20:56 |
|
📄 calc-2.13.0.1
|
542 bytes
|
2025-12-24 17:20:56 |
|
📄 cgal-5.6
|
1120 bytes
|
2025-12-24 17:20:56 |
|
📄 cgal-5.6.1
|
1129 bytes
|
2025-12-24 17:20:56 |
|
📄 cgal-6.0
|
1120 bytes
|
2025-12-24 17:20:56 |
|
📄 cgal-6.0.1
|
1158 bytes
|
2025-12-24 17:20:56 |
|
📄 cgal-6.1
|
1155 bytes
|
2025-12-24 17:20:56 |
|
📄 clipper2-1.5.3
|
775 bytes
|
2025-12-24 17:20:56 |
|
📄 clipper2-1.5.4
|
775 bytes
|
2025-12-24 17:20:56 |
|
📄 cliquer-1.22
|
389 bytes
|
2023-11-22 22:40:40 |
|
📄 cliquer-1.23
|
405 bytes
|
2025-08-09 19:11:23 |
|
📄 coq-8.17.1-r1
|
1427 bytes
|
2025-12-23 08:10:44 |
|
📄 coq-8.19.2-r1
|
1426 bytes
|
2025-12-23 08:10:44 |
|
📄 coq-8.20.0-r1
|
1426 bytes
|
2025-12-23 08:10:44 |
|
📄 coq-9.0.0
|
1282 bytes
|
2025-12-23 08:10:44 |
|
📄 coq-9.1.0-r1
|
1313 bytes
|
2025-12-23 08:10:44 |
|
📄 coq-mathcomp-1.19.0-r1
|
502 bytes
|
2025-03-17 00:11:20 |
|
📄 coq-serapi-0.20.0
|
1367 bytes
|
2025-09-26 06:11:00 |
|
📄 coq-stdlib-9.0.0-r1
|
684 bytes
|
2025-11-07 22:11:10 |
|
📄 cryptominisat-5.11.21-r2
|
1900 bytes
|
2025-12-24 17:20:56 |
|
📄 cubicle-1.2.0-r2
|
1112 bytes
|
2025-12-24 17:20:56 |
|
📄 cudd-3.0.0
|
295 bytes
|
2022-12-18 22:10:27 |
|
📄 cvc4-1.8-r7
|
1196 bytes
|
2025-12-24 17:20:56 |
|
📄 dataplot-20131220
|
1285 bytes
|
2025-12-24 17:20:56 |
|
📄 dsfmt-2.2.4
|
448 bytes
|
2025-12-24 17:20:56 |
|
📄 dunshire-0.1.3-r2
|
2116 bytes
|
2025-12-24 17:20:56 |
|
📄 easycrypt-2025.10
|
1077 bytes
|
2025-10-06 22:12:59 |
|
📄 easycrypt-2025.11
|
1077 bytes
|
2025-11-16 20:40:47 |
|
📄 eclib-20250122
|
629 bytes
|
2025-12-19 10:13:07 |
|
📄 eclib-20250627
|
630 bytes
|
2025-12-19 10:13:07 |
|
📄 ent-101202
|
454 bytes
|
2025-12-24 17:20:56 |
|
📄 eprover-3.0.03
|
497 bytes
|
2025-12-24 17:20:56 |
|
📄 eprover-3.2.5
|
495 bytes
|
2025-12-24 17:20:56 |
|
📄 euler-1.61.0-r1
|
769 bytes
|
2025-12-24 17:20:56 |
|
📄 fann-2.2.0-r2
|
681 bytes
|
2025-12-24 17:20:56 |
|
📄 fann-9999
|
739 bytes
|
2025-12-24 17:20:56 |
|
📄 flint-3.1.3_p1-r4
|
1064 bytes
|
2025-12-24 17:20:56 |
|
📄 flint-3.3.1-r1
|
1031 bytes
|
2025-12-24 17:20:56 |
|
📄 flocq-4.2.1
|
541 bytes
|
2025-02-16 22:41:04 |
|
📄 form-4.3.1
|
1320 bytes
|
2025-12-24 17:20:56 |
|
📄 form-5.0.0_beta1
|
1343 bytes
|
2025-12-24 17:20:56 |
|
📄 fricas-1.3.12
|
1474 bytes
|
2025-08-11 14:42:58 |
|
📄 frobby-0.9.0-r4
|
508 bytes
|
2025-12-24 17:20:56 |
|
📄 functions-matlab-colormaps-1.0_p20250328
|
481 bytes
|
2025-06-20 17:06:07 |
|
📄 gap-4.14.0-r1
|
1147 bytes
|
2025-11-04 10:12:11 |
|
📄 gap-4.15.1
|
1142 bytes
|
2025-11-04 10:12:11 |
|
📄 gappa-1.4.1
|
644 bytes
|
2024-11-12 18:41:25 |
|
📄 gappa-1.4.2
|
644 bytes
|
2024-11-12 18:41:25 |
|
📄 gappalib-coq-1.5.2-r1
|
704 bytes
|
2024-10-08 15:52:45 |
|
📄 gappalib-coq-1.5.3
|
704 bytes
|
2024-10-08 15:52:45 |
|
📄 genius-1.0.27
|
1589 bytes
|
2025-12-24 17:20:56 |
|
📄 geogebra-bin-5.0.752.0
|
895 bytes
|
2025-12-12 22:40:53 |
|
📄 geogebra-bin-6.0.804.0-r1
|
1559 bytes
|
2025-12-12 22:40:53 |
|
📄 geomview-1.9.5-r1
|
1046 bytes
|
2025-12-24 17:20:56 |
|
📄 gfan-0.6.2-r6
|
697 bytes
|
2025-12-24 17:20:56 |
|
📄 gfan-0.6.2-r7
|
698 bytes
|
2025-12-24 17:20:56 |
|
📄 giac-1.9.0.995-r2
|
1930 bytes
|
2025-12-24 17:20:56 |
|
📄 gimps-30.19.14
|
870 bytes
|
2025-12-24 17:20:56 |
|
📄 gimps-30.19.20
|
869 bytes
|
2025-12-24 17:20:56 |
|
📄 gimps-30.8.15
|
839 bytes
|
2025-12-24 17:20:56 |
|
📄 gimps-30.8.17
|
716 bytes
|
2025-12-24 17:20:56 |
|
📄 ginac-1.8.9
|
830 bytes
|
2025-12-24 17:20:56 |
|
📄 glpk-5.0-r3
|
1255 bytes
|
2025-12-24 17:20:56 |
|
📄 gmm-5.4.2
|
335 bytes
|
2025-12-19 10:13:07 |
|
📄 gmp-ecm-7.0.6-r1
|
635 bytes
|
2025-12-24 17:20:56 |
|
📄 gp2c-0.0.12
|
388 bytes
|
2021-12-06 07:39:52 |
|
📄 gp2c-0.0.14
|
396 bytes
|
2025-08-08 13:05:21 |
|
📄 gretl-2021d
|
1835 bytes
|
2025-12-24 17:20:56 |
|
📄 gsl-shell-2.3.5
|
1538 bytes
|
2025-12-24 17:20:56 |
|
📄 jags-4.3.1-r1
|
958 bytes
|
2025-12-24 17:20:56 |
|
📄 kind2-1.9.0
|
843 bytes
|
2025-09-26 06:11:00 |
|
📄 kissat-3.1.1-r1
|
481 bytes
|
2025-12-24 17:20:56 |
|
📄 lcalc-2.0.5-r2
|
676 bytes
|
2024-08-27 01:11:33 |
|
📄 lcalc-2.1.1
|
841 bytes
|
2025-12-24 17:20:56 |
|
📄 lean-4.14.0-r1
|
1115 bytes
|
2025-12-24 17:20:56 |
|
📄 lean-4.23.0
|
1116 bytes
|
2025-12-24 17:20:56 |
|
📄 libpoly-0.1.11
|
1640 bytes
|
2025-12-24 17:20:56 |
|
📄 lpsolve-5.5.2.11-r2
|
490 bytes
|
2025-12-24 17:20:56 |
|
📄 lrcalc-1.2
|
354 bytes
|
2025-12-17 15:42:00 |
|
📄 lrcalc-2.1
|
361 bytes
|
2025-12-17 15:42:00 |
|
📄 Manifest.gz
|
32848 bytes
|
2025-12-26 13:42:06 |
|
📄 manifold-3.1.0-r1
|
2394 bytes
|
2025-12-24 17:20:56 |
|
📄 manifold-3.2.1
|
2478 bytes
|
2025-12-24 17:20:56 |
|
📄 manifold-9999
|
2457 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-10.3.1-r1
|
671 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-10.3.1-r2
|
691 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-12.1.0
|
671 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-12.1.1-r1
|
671 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-12.2.0
|
671 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-13.0.0
|
676 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-13.0.1
|
1002 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-13.1.0-r1
|
1215 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-13.2.1-r1
|
1188 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-13.3.1-r2
|
1592 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-14.0.0-r3
|
1592 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-14.1.0-r2
|
1640 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-14.2.1
|
1723 bytes
|
2025-12-24 17:20:56 |
|
📄 mathematica-14.3.0
|
1723 bytes
|
2025-12-24 17:20:56 |
|
📄 mathmod-13.0-r1
|
854 bytes
|
2025-12-24 17:20:56 |
|
📄 mathomatic-16.0.5-r1
|
629 bytes
|
2025-12-24 17:20:56 |
|
📄 maxima-5.47.0-r2
|
3130 bytes
|
2025-12-24 17:20:56 |
|
📄 maxima-5.48.1-r1
|
3135 bytes
|
2025-12-24 17:20:56 |
|
📄 maxima-5.49.0
|
3135 bytes
|
2025-12-24 17:20:56 |
|
📄 metamath-0.198
|
721 bytes
|
2025-12-24 17:20:56 |
|
📄 metamath-databases-20220303
|
420 bytes
|
2023-03-04 16:40:16 |
|
📄 minisat-2.2.1-r1
|
827 bytes
|
2025-12-24 17:20:56 |
|
📄 msieve-1.53-r1
|
661 bytes
|
2025-12-24 17:20:56 |
|
📄 msieve-1.53-r3
|
787 bytes
|
2025-12-24 17:20:56 |
|
📄 nauty-2.8.8-r1
|
1040 bytes
|
2025-12-24 17:20:56 |
|
📄 nestedsums-1.5.2-r1
|
618 bytes
|
2025-12-24 17:20:56 |
|
📄 normaliz-3.10.1
|
965 bytes
|
2025-12-24 17:20:56 |
|
📄 normaliz-3.10.5
|
616 bytes
|
2025-12-24 17:20:56 |
|
📄 normaliz-3.11.0
|
616 bytes
|
2025-12-24 17:20:56 |
|
📄 normaliz-3.9.3
|
613 bytes
|
2025-12-24 17:20:56 |
|
📄 num-utils-0.5-r2
|
445 bytes
|
2023-06-09 15:40:46 |
|
📄 octave-9.2.0-r2
|
4260 bytes
|
2025-12-24 17:20:56 |
|
📄 octave-epstk-2.4
|
435 bytes
|
2021-11-22 03:39:53 |
|
📄 opensmt-2.7.0
|
1010 bytes
|
2025-12-24 17:20:56 |
|
📄 opensmt-2.9.2
|
1010 bytes
|
2025-12-24 17:20:56 |
|
📄 otter-3.3-r4
|
534 bytes
|
2025-12-24 17:20:56 |
|
📄 palp-2.21
|
538 bytes
|
2025-12-24 17:20:56 |
|
📄 pari-2.15.5
|
1019 bytes
|
2025-12-24 17:20:56 |
|
📄 pari-2.17.1
|
1019 bytes
|
2025-12-24 17:20:56 |
|
📄 pari-2.17.2
|
1021 bytes
|
2025-12-24 17:20:56 |
|
📄 pari-data-20191216
|
701 bytes
|
2025-12-19 10:13:07 |
|
📄 petsc-3.22.2
|
1982 bytes
|
2025-12-24 17:20:56 |
|
📄 petsc-3.23.3
|
2117 bytes
|
2025-12-24 17:20:56 |
|
📄 petsc-3.23.4
|
2117 bytes
|
2025-12-24 17:20:56 |
|
📄 picosat-965
|
350 bytes
|
2025-12-24 17:20:56 |
|
📄 planarity-3.0.2.0
|
390 bytes
|
2024-08-20 21:11:22 |
|
📄 planarity-4.0.0.0
|
395 bytes
|
2025-06-22 20:11:03 |
|
📄 plfit-0.9.5
|
735 bytes
|
2025-12-24 17:20:56 |
|
📄 plfit-1.0.1
|
744 bytes
|
2025-12-24 17:20:56 |
|
📄 polymake-4.13
|
1703 bytes
|
2025-12-24 17:20:56 |
|
📄 polymake-4.14
|
1705 bytes
|
2025-12-24 17:20:56 |
|
📄 polymake-4.15
|
1704 bytes
|
2025-12-24 17:20:56 |
|
📄 primecount-7.13-r1
|
885 bytes
|
2025-12-24 17:20:56 |
|
📄 primecount-8.0
|
884 bytes
|
2025-12-26 13:42:06 |
|
📄 primesieve-12.3
|
893 bytes
|
2025-12-24 17:20:56 |
|
📄 prng-3.0.2-r4
|
715 bytes
|
2025-12-24 17:20:56 |
|
📄 prover9-2009.11a-r2
|
497 bytes
|
2025-12-24 17:20:56 |
|
📄 proverif-2.04-r1
|
773 bytes
|
2025-05-14 08:41:38 |
|
📄 proverif-2.05
|
759 bytes
|
2025-05-14 08:41:38 |
|
📄 proverif-9999
|
769 bytes
|
2025-05-14 08:41:38 |
|
📄 psmt2-frontend-0.4.0
|
827 bytes
|
2025-09-26 06:11:00 |
|
📄 pspp-1.6.2-r3
|
1542 bytes
|
2025-12-24 17:20:56 |
|
📄 pspp-2.0.1-r1
|
1550 bytes
|
2025-12-24 17:20:56 |
|
📄 rkward-0.8.2
|
2820 bytes
|
2025-12-24 17:20:56 |
|
📄 rngstreams-1.0.1
|
431 bytes
|
2025-12-19 10:13:07 |
|
📄 rw-0.9
|
348 bytes
|
2025-12-19 10:13:07 |
|
📄 sha1-polyml-5.9
|
410 bytes
|
2025-12-24 17:20:56 |
|
📄 singular-4.4.1
|
961 bytes
|
2025-12-19 10:13:07 |
|
📄 singular-4.4.1-r1
|
962 bytes
|
2025-12-19 10:13:07 |
|
📄 slepc-3.22.1
|
1020 bytes
|
2025-12-24 17:20:56 |
|
📄 slepc-3.23.1
|
1041 bytes
|
2025-12-24 17:20:56 |
|
📄 smtinterpol-2.5_p20211018-r1
|
751 bytes
|
2025-10-03 16:40:40 |
|
📄 spin-6.5.2-r1
|
652 bytes
|
2025-12-24 17:20:56 |
|
📄 stp-2.3.3-r3
|
1923 bytes
|
2025-12-24 17:20:56 |
|
📄 stp-2.3.4
|
1901 bytes
|
2025-12-24 17:20:56 |
|
📄 sympow-2.023.7
|
483 bytes
|
2025-12-24 17:20:56 |
|
📄 topcom-0.17.8-r3
|
1085 bytes
|
2025-12-24 17:20:56 |
|
📄 topcom-1.1.2
|
999 bytes
|
2025-12-24 17:20:56 |
|
📄 twelf-1.7.1-r2
|
785 bytes
|
2025-12-24 17:20:56 |
|
📄 unuran-1.8.1
|
629 bytes
|
2025-12-19 10:13:07 |
|
📄 unuran-1.9.0
|
1028 bytes
|
2025-12-24 17:20:56 |
|
📄 vampire-4.8
|
914 bytes
|
2025-12-24 17:20:56 |
|
📄 vampire-4.9
|
914 bytes
|
2025-12-24 17:20:56 |
|
📄 verifpal-0.27.0
|
753 bytes
|
2025-12-24 17:20:56 |
|
📄 verit-2021.06.2
|
320 bytes
|
2022-03-10 21:39:55 |
|
📄 why3-1.6.0
|
1902 bytes
|
2025-12-24 17:20:56 |
|
📄 why3-1.7.2
|
1902 bytes
|
2025-12-24 17:20:56 |
|
📄 why3-1.8.0
|
1932 bytes
|
2025-12-24 17:20:56 |
|
📄 why3-1.8.1
|
1932 bytes
|
2025-12-24 17:20:56 |
|
📄 why3-1.8.2
|
1967 bytes
|
2025-12-24 17:20:56 |
|
📄 why3-for-spark-2021-r1
|
2029 bytes
|
2025-12-24 17:20:56 |
|
📄 why3-for-spark-2023.12.13-r2
|
2047 bytes
|
2025-12-24 17:20:56 |
|
📄 wxmaxima-25.04.0-r2
|
1212 bytes
|
2025-12-24 17:20:56 |
|
📄 yacas-1.9.1-r2
|
1121 bytes
|
2025-12-24 17:20:56 |
|
📄 yafu-1.34.3-r2
|
764 bytes
|
2025-12-24 17:20:56 |
|
📄 yices2-2.6.5
|
965 bytes
|
2025-12-24 17:20:56 |
|
📄 z3-4.15.3
|
2424 bytes
|
2025-12-24 17:20:56 |
|
📄 z3-4.15.4
|
2424 bytes
|
2025-12-24 17:20:56 |