![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 4ti2-1.6.2 | 2021-01-12 11:11 | 1.2K | |
| 4ti2-1.6.5 | 2020-09-13 10:15 | 1.2K | |
| 4ti2-1.6.6 | 2021-02-24 16:43 | 1.2K | |
| 4ti2-1.6.7 | 2021-06-08 22:55 | 826 | |
| 4ti2-1.6.7-r1 | 2025-12-19 11:13 | 842 | |
| 4ti2-1.6.10 | 2025-12-19 11:13 | 940 | |
| Macaulay2-1.8.2.1-r1 | 2019-12-30 14:16 | 2.1K | |
| Manifest.gz | 2025-12-19 11:13 | 32K | |
| abc-0_p20230313 | 2025-10-12 17:26 | 600 | |
| abc-9999 | 2025-10-12 17:26 | 559 | |
| acl2-8.5 | 2023-05-10 20:19 | 628 | |
| acl2-8.5-r1 | 2023-10-22 12:10 | 632 | |
| acl2-8.5-r2 | 2024-12-16 20:11 | 648 | |
| acl2-8.5_p20240307 | 2024-12-16 20:11 | 705 | |
| acl2-8.5_p20240307-r1 | 2025-04-23 18:27 | 689 | |
| acl2-8.6 | 2025-07-02 03:11 | 678 | |
| agda-2.4.2.5-r2 | 2020-09-25 12:09 | 4.8K | |
| agda-2.5.2-r1 | 2020-09-25 12:09 | 5.9K | |
| agda-2.5.2-r2 | 2020-11-25 19:24 | 5.0K | |
| agda-2.6.1.2 | 2022-08-19 00:40 | 5.3K | |
| agda-lib-ffi-0.0.2 | 2021-01-06 00:24 | 1.1K | |
| agda-lib-ffi-0.0.2-r2 | 2021-01-06 00:24 | 1.1K | |
| agda-stdlib-2.4.2.5 | 2020-09-25 12:09 | 1.5K | |
| agda-stdlib-2.5.2.0.13 | 2020-11-25 19:24 | 1.4K | |
| agda-stdlib-2.6.1.2.1.4 | 2022-08-19 00:40 | 1.1K | |
| alectryon-1.4.0 | 2022-04-02 21:41 | 2.8K | |
| alectryon-1.4.0-r1 | 2024-04-19 21:12 | 2.5K | |
| alectryon-1.4.0-r2 | 2025-11-26 17:12 | 2.5K | |
| alt-ergo-1.30 | 2021-01-17 05:39 | 625 | |
| alt-ergo-2.3.0 | 2021-01-17 05:39 | 805 | |
| alt-ergo-2.3.0-r1 | 2022-06-21 04:11 | 809 | |
| alt-ergo-2.4.1 | 2021-12-28 01:10 | 916 | |
| alt-ergo-2.4.1-r1 | 2022-03-24 05:26 | 1.0K | |
| alt-ergo-2.4.1-r2 | 2023-03-26 14:22 | 1.1K | |
| alt-ergo-2.4.1_p2022..> | 2022-05-01 09:48 | 1.1K | |
| alt-ergo-2.4.1_p2022..> | 2023-01-12 14:10 | 1.2K | |
| alt-ergo-2.4.2 | 2022-08-20 15:40 | 1.2K | |
| alt-ergo-2.4.2-r1 | 2023-03-26 14:22 | 1.2K | |
| alt-ergo-2.4.3 | 2024-06-01 23:41 | 1.3K | |
| alt-ergo-2.4.3-r1 | 2024-07-16 00:41 | 1.3K | |
| alt-ergo-2.4.3-r2 | 2025-05-14 10:41 | 1.3K | |
| alt-ergo-2.4.3-r3 | 2025-09-26 08:11 | 1.2K | |
| alt-ergo-9999 | 2024-07-11 23:11 | 1.3K | |
| arb-2.11.1-r1 | 2020-02-15 11:10 | 942 | |
| arb-2.16.0 | 2020-02-15 11:10 | 942 | |
| arb-2.17.0 | 2021-09-04 01:24 | 648 | |
| arb-2.18.0 | 2020-08-10 10:44 | 1.0K | |
| arb-2.18.1 | 2021-10-31 20:44 | 1.1K | |
| arb-2.19.0 | 2023-01-05 01:43 | 1.1K | |
| arb-2.21.0 | 2023-01-05 01:43 | 1.1K | |
| arb-2.22.1 | 2023-01-05 01:43 | 1.1K | |
| arb-2.23.0 | 2025-12-19 11:13 | 912 | |
| axiom-200805 | 2020-09-13 10:15 | 1.0K | |
| bertini-1.4 | 2025-10-12 17:26 | 571 | |
| bertini-1.6 | 2025-10-12 17:26 | 623 | |
| boolector-3.2.2_p202..> | 2024-04-01 12:14 | 1.9K | |
| boolector-3.2.3 | 2025-04-15 17:29 | 1.9K | |
| boolector-3.2.4 | 2025-07-14 21:21 | 1.9K | |
| btor2tools-1.0.0_pre..> | 2023-01-11 05:10 | 798 | |
| btor2tools-1.0.0_pre..> | 2025-11-23 20:42 | 757 | |
| cadabra-2.3.8 | 2022-06-29 20:14 | 3.5K | |
| cadabra-2.3.9.3 | 2022-12-06 07:22 | 3.5K | |
| cadabra-2.4.0.2 | 2022-12-06 07:22 | 3.5K | |
| cadabra-2.4.2 | 2022-10-27 00:10 | 3.5K | |
| cadabra-2.4.2.1 | 2023-02-19 20:52 | 2.8K | |
| cadabra-2.4.2.1-r1 | 2023-03-26 14:41 | 3.6K | |
| cadabra-2.4.2.2 | 2023-02-19 20:52 | 2.8K | |
| cadabra-2.4.2.2-r1 | 2023-03-26 14:41 | 3.6K | |
| cadabra-2.4.3.2 | 2023-03-26 14:41 | 2.8K | |
| cadabra-2.4.3.2-r1 | 2024-01-14 20:41 | 2.8K | |
| cadabra-2.4.4.1 | 2024-04-01 12:14 | 2.8K | |
| cadabra-2.4.5.4 | 2025-11-23 20:42 | 2.8K | |
| cadabra-2.4.5.5 | 2024-04-18 00:40 | 3.6K | |
| cadabra-2.4.5.6 | 2025-11-23 20:42 | 2.8K | |
| cadabra-2.4.5.7 | 2025-11-23 20:42 | 2.8K | |
| cadical-1.5.2-r1 | 2023-10-01 09:49 | 427 | |
| cadical-1.5.3 | 2023-01-03 10:22 | 427 | |
| cadical-1.5.3-r1 | 2023-12-26 15:20 | 427 | |
| cadical-1.8.0 | 2023-12-26 15:20 | 427 | |
| cadical-1.9.4 | 2024-02-08 11:41 | 427 | |
| cadical-1.9.5 | 2025-10-12 17:26 | 386 | |
| cadical-2.0.0 | 2025-10-12 17:26 | 515 | |
| calc-2.12.4.13-r1 | 2021-01-06 00:24 | 967 | |
| calc-2.12.5.4 | 2022-07-18 18:23 | 593 | |
| calc-2.13.0.1 | 2025-12-19 11:13 | 542 | |
| cgal-4.9 | 2019-05-18 21:43 | 1.8K | |
| cgal-4.10 | 2019-05-18 21:43 | 1.8K | |
| cgal-4.11.1 | 2019-05-18 21:43 | 1.8K | |
| cgal-4.11.3 | 2021-01-23 10:24 | 1.9K | |
| cgal-5.1 | 2021-06-08 22:55 | 1.6K | |
| cgal-5.1-r2 | 2022-05-17 05:54 | 1.6K | |
| cgal-5.2 | 2021-06-08 22:55 | 1.6K | |
| cgal-5.2-r2 | 2022-12-10 03:15 | 1.6K | |
| cgal-5.2.1 | 2021-06-08 22:55 | 1.6K | |
| cgal-5.2.1-r2 | 2022-05-17 05:54 | 1.7K | |
| cgal-5.2.2 | 2021-07-07 20:10 | 1.6K | |
| cgal-5.2.2-r1 | 2022-05-17 05:54 | 1.7K | |
| cgal-5.4.1 | 2022-12-10 03:15 | 1.6K | |
| cgal-5.5 | 2024-02-12 17:44 | 1.1K | |
| cgal-5.5.2 | 2024-02-12 17:44 | 1.2K | |
| cgal-5.6 | 2025-12-19 11:13 | 1.1K | |
| cgal-5.6.1 | 2025-12-19 11:13 | 1.1K | |
| cgal-6.0 | 2025-12-19 11:13 | 1.1K | |
| cgal-6.0.1 | 2025-12-19 11:13 | 1.1K | |
| cgal-6.0_beta1 | 2024-10-08 17:52 | 1.2K | |
| cgal-6.1 | 2025-12-19 11:13 | 1.1K | |
| clipper2-1.4.0 | 2025-07-14 21:21 | 770 | |
| clipper2-1.5.2 | 2025-07-14 21:21 | 769 | |
| clipper2-1.5.3 | 2025-11-23 20:42 | 775 | |
| clipper2-1.5.4 | 2025-11-23 20:42 | 775 | |
| cliquer-1.21 | 2020-03-25 17:09 | 375 | |
| cliquer-1.22 | 2023-11-22 23:40 | 389 | |
| cliquer-1.23 | 2025-08-09 21:11 | 405 | |
| coq-8.6 | 2019-09-13 21:31 | 1.2K | |
| coq-8.6.1 | 2019-09-13 21:31 | 1.2K | |
| coq-8.6.1-r1 | 2021-02-24 16:43 | 1.4K | |
| coq-8.9.1 | 2019-09-24 12:09 | 909 | |
| coq-8.9.1-r1 | 2021-02-24 16:43 | 932 | |
| coq-8.9.1-r2 | 2021-01-06 00:24 | 953 | |
| coq-8.11.2 | 2021-12-14 05:24 | 1.0K | |
| coq-8.11.2-r1 | 2022-10-20 08:41 | 1.1K | |
| coq-8.12.0 | 2021-01-23 10:24 | 1.0K | |
| coq-8.12.0-r1 | 2021-12-14 05:24 | 1.0K | |
| coq-8.12.0-r2 | 2023-08-18 03:52 | 1.1K | |
| coq-8.13.0 | 2021-07-01 20:39 | 1.0K | |
| coq-8.13.0-r1 | 2023-04-11 16:40 | 1.0K | |
| coq-8.15.0 | 2022-02-13 10:39 | 926 | |
| coq-8.15.0-r2 | 2022-06-22 18:10 | 1.2K | |
| coq-8.15.1 | 2022-06-22 18:10 | 1.2K | |
| coq-8.15.2 | 2023-04-11 16:40 | 1.3K | |
| coq-8.16.0 | 2023-03-26 14:22 | 1.3K | |
| coq-8.16.1 | 2023-04-11 16:40 | 1.3K | |
| coq-8.17.0 | 2023-07-17 14:40 | 1.4K | |
| coq-8.17.1 | 2025-02-08 23:11 | 1.4K | |
| coq-8.17.1-r1 | 2025-12-12 23:40 | 1.4K | |
| coq-8.18.0 | 2024-01-16 07:12 | 1.4K | |
| coq-8.19.0 | 2024-10-08 17:52 | 1.4K | |
| coq-8.19.1 | 2024-10-08 17:52 | 1.4K | |
| coq-8.19.2 | 2025-02-08 23:11 | 1.4K | |
| coq-8.19.2-r1 | 2025-12-12 23:40 | 1.4K | |
| coq-8.20.0 | 2025-02-08 23:11 | 1.4K | |
| coq-8.20.0-r1 | 2025-12-12 23:40 | 1.4K | |
| coq-9.0.0 | 2025-12-12 23:40 | 1.3K | |
| coq-9.1.0 | 2025-09-28 00:11 | 1.2K | |
| coq-9.1.0-r1 | 2025-12-12 23:40 | 1.3K | |
| coq-mathcomp-1.14.0 | 2022-03-05 06:10 | 422 | |
| coq-mathcomp-1.14.0-r1 | 2022-09-07 14:40 | 482 | |
| coq-mathcomp-1.14.0-r2 | 2023-02-16 13:10 | 516 | |
| coq-mathcomp-1.15.0 | 2022-09-07 14:40 | 408 | |
| coq-mathcomp-1.15.0-r1 | 2023-04-11 16:40 | 442 | |
| coq-mathcomp-1.16.0 | 2023-02-02 12:10 | 408 | |
| coq-mathcomp-1.16.0-r1 | 2023-04-11 16:40 | 442 | |
| coq-mathcomp-1.17.0 | 2023-10-24 14:40 | 442 | |
| coq-mathcomp-1.19.0 | 2024-01-15 22:41 | 442 | |
| coq-mathcomp-1.19.0-r1 | 2025-03-17 01:11 | 502 | |
| coq-serapi-0.15.0 | 2022-03-24 05:26 | 1.1K | |
| coq-serapi-0.15.0-r1 | 2022-04-17 22:40 | 1.2K | |
| coq-serapi-0.15.0-r2 | 2022-08-19 00:40 | 1.2K | |
| coq-serapi-0.15.0-r3 | 2022-12-27 17:48 | 1.3K | |
| coq-serapi-0.16.0 | 2022-10-02 02:10 | 1.4K | |
| coq-serapi-0.16.0-r1 | 2023-01-12 14:10 | 1.4K | |
| coq-serapi-0.16.1 | 2023-07-01 09:40 | 1.4K | |
| coq-serapi-0.16.2 | 2023-01-12 14:10 | 1.4K | |
| coq-serapi-0.16.2-r1 | 2023-07-01 09:40 | 1.3K | |
| coq-serapi-0.16.3 | 2023-07-01 09:40 | 1.3K | |
| coq-serapi-0.17.0 | 2023-10-22 12:10 | 1.3K | |
| coq-serapi-0.18.1 | 2023-10-23 23:10 | 1.3K | |
| coq-serapi-0.19.0 | 2024-10-08 17:52 | 1.3K | |
| coq-serapi-0.20.0 | 2025-09-26 08:11 | 1.3K | |
| coq-stdlib-9.0.0 | 2025-09-26 08:11 | 681 | |
| coq-stdlib-9.0.0-r1 | 2025-11-07 23:11 | 684 | |
| cryptominisat-5.8.0 | 2023-03-26 14:41 | 1.4K | |
| cryptominisat-5.11.4 | 2023-07-30 21:19 | 859 | |
| cryptominisat-5.11.11 | 2023-10-09 13:16 | 862 | |
| cryptominisat-5.11.12 | 2023-10-09 13:16 | 862 | |
| cryptominisat-5.11.14 | 2024-02-12 17:44 | 863 | |
| cryptominisat-5.11.15 | 2024-05-12 07:46 | 863 | |
| cryptominisat-5.11.21 | 2024-05-12 07:46 | 863 | |
| cryptominisat-5.11.2..> | 2025-05-02 06:44 | 2.7K | |
| cryptominisat-5.11.2..> | 2025-11-26 17:12 | 1.9K | |
| cubicle-1.2.0-r1 | 2023-02-19 20:52 | 1.1K | |
| cubicle-1.2.0-r2 | 2025-10-12 17:26 | 1.1K | |
| cudd-3.0.0 | 2022-12-18 23:10 | 295 | |
| cvc3-2.4.1-r1 | 2017-09-08 11:09 | 755 | |
| cvc4-1.6 | 2020-02-22 22:40 | 498 | |
| cvc4-1.7 | 2021-01-06 00:24 | 1.2K | |
| cvc4-1.7-r1 | 2023-01-28 23:43 | 1.4K | |
| cvc4-1.8 | 2022-02-08 10:10 | 1.7K | |
| cvc4-1.8-r1 | 2022-10-15 17:10 | 1.6K | |
| cvc4-1.8-r2 | 2023-02-19 20:52 | 1.5K | |
| cvc4-1.8-r3 | 2023-02-22 12:40 | 1.6K | |
| cvc4-1.8-r4 | 2024-01-14 20:41 | 1.3K | |
| cvc4-1.8-r5 | 2025-05-08 14:46 | 1.4K | |
| cvc4-1.8-r6 | 2025-11-01 00:41 | 1.2K | |
| cvc4-1.8-r7 | 2025-11-23 20:42 | 1.2K | |
| dataplot-20090821 | 2021-01-12 11:11 | 1.5K | |
| dataplot-20131220 | 2025-12-19 11:13 | 1.3K | |
| diagrtb-2.64 | 2025-07-14 21:21 | 908 | |
| drgeo-1.1.0-r1 | 2019-07-18 18:03 | 921 | |
| dsfmt-2.2.4 | 2025-12-19 11:13 | 448 | |
| dunshire-0.1.1 | 2020-04-14 07:45 | 1.7K | |
| dunshire-0.1.1-r1 | 2022-05-17 05:54 | 1.4K | |
| dunshire-0.1.1-r2 | 2023-02-25 08:12 | 1.5K | |
| dunshire-0.1.1-r3 | 2024-04-01 12:14 | 1.7K | |
| dunshire-0.1.1-r4 | 2024-04-19 21:12 | 2.0K | |
| dunshire-0.1.3 | 2024-07-22 17:42 | 2.1K | |
| dunshire-0.1.3-r1 | 2025-03-28 16:48 | 2.1K | |
| dunshire-0.1.3-r2 | 2025-11-26 17:12 | 2.1K | |
| e-1.5 | 2017-02-28 21:31 | 507 | |
| e-1.6 | 2017-02-28 21:31 | 507 | |
| e-1.8-r1 | 2017-02-28 21:31 | 507 | |
| e-2.3 | 2019-09-11 14:39 | 430 | |
| easycrypt-1.0_pre202..> | 2022-01-10 18:40 | 1.0K | |
| easycrypt-1.0_pre202..> | 2022-05-01 09:48 | 1.1K | |
| easycrypt-1.0_pre202..> | 2022-05-01 09:48 | 1.1K | |
| easycrypt-1.0_pre202..> | 2023-03-26 14:22 | 1.2K | |
| easycrypt-2022.04 | 2022-05-01 09:48 | 1.0K | |
| easycrypt-2022.04-r1 | 2023-03-26 14:22 | 1.1K | |
| easycrypt-2022.04_p2..> | 2023-03-26 14:22 | 1.2K | |
| easycrypt-2022.04_p2..> | 2023-10-09 13:16 | 1.2K | |
| easycrypt-2023.09 | 2024-06-01 23:41 | 1.2K | |
| easycrypt-2024.01 | 2024-06-01 23:41 | 1.1K | |
| easycrypt-2024.01-r1 | 2024-10-08 17:52 | 1.1K | |
| easycrypt-2024.09 | 2025-05-14 10:41 | 1.1K | |
| easycrypt-2025.02 | 2025-05-14 10:41 | 1.1K | |
| easycrypt-2025.03 | 2025-09-29 13:10 | 1.0K | |
| easycrypt-2025.08 | 2025-09-29 13:10 | 1.0K | |
| easycrypt-2025.10 | 2025-10-07 00:12 | 1.1K | |
| easycrypt-2025.11 | 2025-11-16 21:40 | 1.1K | |
| eclib-20190909 | 2020-07-23 09:09 | 642 | |
| eclib-20210503 | 2021-05-14 16:39 | 647 | |
| eclib-20210625 | 2021-11-03 11:39 | 645 | |
| eclib-20220621 | 2022-08-15 10:10 | 646 | |
| eclib-20221012 | 2023-06-09 17:40 | 635 | |
| eclib-20230424 | 2024-01-15 17:41 | 1.1K | |
| eclib-20231212 | 2025-04-12 18:51 | 1.0K | |
| eclib-20240408 | 2025-04-12 18:51 | 1.0K | |
| eclib-20241112 | 2024-11-15 00:41 | 655 | |
| eclib-20250122 | 2025-12-19 11:13 | 629 | |
| eclib-20250627 | 2025-12-19 11:13 | 630 | |
| ent-101202 | 2025-12-19 11:13 | 454 | |
| eprover-3.0.03 | 2025-10-12 17:26 | 497 | |
| eprover-3.0_pre008 | 2025-10-12 17:26 | 504 | |
| eprover-3.2.5 | 2025-11-22 02:42 | 495 | |
| euler-1.61.0 | 2021-01-23 10:24 | 1.1K | |
| euler-1.61.0-r1 | 2025-12-19 11:13 | 769 | |
| factmsieve-76-r1 | 2019-12-30 14:16 | 883 | |
| fann-2.2.0-r1 | 2025-05-06 20:49 | 689 | |
| fann-2.2.0-r2 | 2025-11-23 20:42 | 681 | |
| fann-9999 | 2025-11-23 20:42 | 739 | |
| flint-2.4.4-r1 | 2020-03-31 17:22 | 1.0K | |
| flint-2.4.5 | 2020-02-12 17:52 | 1.0K | |
| flint-2.5.2 | 2020-02-12 17:52 | 1.0K | |
| flint-2.5.2-r1 | 2021-06-23 12:54 | 687 | |
| flint-2.6.0 | 2020-08-10 10:44 | 1.1K | |
| flint-2.6.3 | 2021-03-11 10:13 | 1.2K | |
| flint-2.6.3-r1 | 2021-07-02 17:45 | 1.3K | |
| flint-2.7.0 | 2021-01-23 10:24 | 1.2K | |
| flint-2.7.1 | 2021-04-11 23:16 | 1.3K | |
| flint-2.7.1-r1 | 2022-12-14 11:45 | 1.4K | |
| flint-2.8.0 | 2021-09-30 14:09 | 1.3K | |
| flint-2.8.1 | 2021-10-31 20:44 | 1.3K | |
| flint-2.8.3 | 2021-11-09 11:44 | 1.2K | |
| flint-2.8.4 | 2023-07-02 17:42 | 1.2K | |
| flint-2.8.5 | 2023-07-02 17:42 | 1.2K | |
| flint-2.9.0 | 2024-05-20 19:53 | 1.2K | |
| flint-3.0.1 | 2024-07-05 23:16 | 1.3K | |
| flint-3.1.0 | 2024-07-05 23:16 | 1.3K | |
| flint-3.1.3_p1 | 2024-10-08 17:52 | 1.3K | |
| flint-3.1.3_p1-r1 | 2025-04-15 17:29 | 1.2K | |
| flint-3.1.3_p1-r2 | 2024-12-17 23:53 | 1.1K | |
| flint-3.1.3_p1-r3 | 2025-05-08 14:46 | 1.1K | |
| flint-3.1.3_p1-r4 | 2025-10-23 20:44 | 1.0K | |
| flint-3.3.1 | 2025-08-01 19:41 | 1.0K | |
| flint-3.3.1-r1 | 2025-10-23 20:44 | 1.0K | |
| flintqs-1.0 | 2023-06-09 17:40 | 379 | |
| flocq-4.1.0 | 2022-12-24 23:40 | 504 | |
| flocq-4.1.0-r1 | 2024-10-08 17:52 | 541 | |
| flocq-4.1.1 | 2024-10-08 17:52 | 541 | |
| flocq-4.2.1 | 2025-02-16 23:41 | 541 | |
| form-4.1 | 2021-01-12 11:11 | 901 | |
| form-4.2.0 | 2021-01-12 11:11 | 918 | |
| form-4.2.1 | 2023-05-10 20:19 | 1.0K | |
| form-4.3.0-r1 | 2023-12-27 22:11 | 1.3K | |
| form-4.3.1 | 2025-11-04 11:12 | 1.3K | |
| form-5.0.0_beta1 | 2025-11-04 11:12 | 1.3K | |
| fricas-1.3.4 | 2021-01-06 00:24 | 1.2K | |
| fricas-1.3.5 | 2021-01-06 00:24 | 1.2K | |
| fricas-1.3.6 | 2022-05-17 05:54 | 1.2K | |
| fricas-1.3.7 | 2023-03-26 19:10 | 1.2K | |
| fricas-1.3.8 | 2023-03-26 19:10 | 1.1K | |
| fricas-1.3.8-r1 | 2023-09-14 17:41 | 1.1K | |
| fricas-1.3.9 | 2023-09-14 17:41 | 1.1K | |
| fricas-1.3.9-r1 | 2023-10-12 08:10 | 1.2K | |
| fricas-1.3.9-r2 | 2023-10-15 10:40 | 1.1K | |
| fricas-1.3.9-r3 | 2024-05-06 19:40 | 1.1K | |
| fricas-1.3.10 | 2024-05-06 19:40 | 1.1K | |
| fricas-1.3.11-r2 | 2024-09-08 20:51 | 1.4K | |
| fricas-1.3.11-r3 | 2025-04-23 18:27 | 1.4K | |
| fricas-1.3.12 | 2025-08-11 16:42 | 1.4K | |
| frobby-0.9.0-r2 | 2021-06-08 22:55 | 523 | |
| frobby-0.9.0-r3 | 2022-12-06 23:22 | 553 | |
| frobby-0.9.0-r4 | 2025-10-12 17:26 | 508 | |
| functions-matlab-col..> | 2025-06-20 19:06 | 481 | |
| gap-4.12.2-r3 | 2024-01-22 13:12 | 1.5K | |
| gap-4.12.2-r4 | 2024-02-05 16:40 | 1.5K | |
| gap-4.13.0 | 2024-05-08 09:40 | 1.1K | |
| gap-4.13.0_alpha1 | 2024-02-07 22:40 | 1.1K | |
| gap-4.13.0_alpha2 | 2024-02-21 01:10 | 1.1K | |
| gap-4.13.1 | 2024-08-29 16:10 | 1.1K | |
| gap-4.13.1-r1 | 2024-10-09 16:12 | 1.1K | |
| gap-4.13.1-r2 | 2024-11-24 16:11 | 1.1K | |
| gap-4.14.0 | 2025-04-28 16:11 | 1.1K | |
| gap-4.14.0-r1 | 2025-11-04 11:12 | 1.1K | |
| gap-4.14.0_beta1 | 2024-11-23 15:41 | 1.1K | |
| gap-4.15.0 | 2025-10-02 15:13 | 1.1K | |
| gap-4.15.0_beta1 | 2025-09-02 07:41 | 1.1K | |
| gap-4.15.0_beta2 | 2025-09-13 18:10 | 1.1K | |
| gap-4.15.1 | 2025-11-04 11:12 | 1.1K | |
| gappa-1.4.1 | 2024-11-12 19:41 | 644 | |
| gappa-1.4.2 | 2024-11-12 19:41 | 644 | |
| gappalib-coq-1.5.2 | 2022-12-24 23:40 | 626 | |
| gappalib-coq-1.5.2-r1 | 2024-10-08 17:52 | 704 | |
| gappalib-coq-1.5.3 | 2024-10-08 17:52 | 704 | |
| genius-1.0.21 | 2019-02-27 05:39 | 1.9K | |
| genius-1.0.23 | 2021-01-12 11:11 | 1.9K | |
| genius-1.0.25 | 2022-07-25 00:44 | 2.1K | |
| genius-1.0.27 | 2025-10-12 17:26 | 1.6K | |
| geogebra-5.0.339.0_p..> | 2020-09-13 10:15 | 22K | |
| geogebra-bin-5.0.604..> | 2020-09-19 11:09 | 846 | |
| geogebra-bin-5.0.604..> | 2022-10-20 08:41 | 894 | |
| geogebra-bin-5.0.683.0 | 2022-10-20 08:41 | 894 | |
| geogebra-bin-5.0.752.0 | 2025-12-12 23:40 | 895 | |
| geogebra-bin-6.0.804.0 | 2024-10-08 17:52 | 1.0K | |
| geogebra-bin-6.0.804..> | 2025-12-12 23:40 | 1.5K | |
| geomview-1.9.5-r1 | 2025-12-12 23:40 | 1.0K | |
| gfan-0.5-r1 | 2020-03-28 21:28 | 545 | |
| gfan-0.6.2 | 2021-06-08 22:55 | 816 | |
| gfan-0.6.2-r1 | 2021-06-08 22:55 | 817 | |
| gfan-0.6.2-r2 | 2022-01-22 23:46 | 831 | |
| gfan-0.6.2-r3 | 2022-01-22 23:46 | 832 | |
| gfan-0.6.2-r4 | 2024-12-17 23:53 | 705 | |
| gfan-0.6.2-r5 | 2024-09-08 20:51 | 706 | |
| gfan-0.6.2-r6 | 2025-12-19 11:13 | 697 | |
| gfan-0.6.2-r7 | 2025-12-19 11:13 | 698 | |
| ggnfs-0.77.1-r2 | 2021-02-24 16:43 | 1.1K | |
| giac-1.7.0.1 | 2021-05-08 12:14 | 1.9K | |
| giac-1.7.0.5 | 2021-06-08 22:55 | 1.9K | |
| giac-1.7.0.13 | 2021-06-15 16:39 | 1.9K | |
| giac-1.7.0.13-r1 | 2022-12-06 23:22 | 2.0K | |
| giac-1.7.0.45 | 2022-01-22 23:46 | 2.0K | |
| giac-1.7.0.47 | 2022-10-10 23:22 | 1.8K | |
| giac-1.9.0.5 | 2022-10-10 23:22 | 1.8K | |
| giac-1.9.0.19 | 2022-08-24 07:17 | 1.8K | |
| giac-1.9.0.21 | 2022-10-10 23:22 | 1.8K | |
| giac-1.9.0.29 | 2022-11-11 02:40 | 1.8K | |
| giac-1.9.0.29-r1 | 2024-12-17 23:53 | 1.9K | |
| giac-1.9.0.29-r2 | 2024-12-26 19:11 | 1.9K | |
| giac-1.9.0.55 | 2023-06-30 13:40 | 1.8K | |
| giac-1.9.0.55-r1 | 2023-10-29 05:20 | 1.9K | |
| giac-1.9.0.67 | 2024-02-12 17:44 | 1.9K | |
| giac-1.9.0.93 | 2024-08-19 08:21 | 2.0K | |
| giac-1.9.0.995 | 2024-09-08 20:51 | 2.0K | |
| giac-1.9.0.995-r1 | 2024-12-17 23:53 | 2.0K | |
| giac-1.9.0.995-r2 | 2025-10-12 17:26 | 1.9K | |
| gimps-28.10-r1 | 2019-09-13 21:31 | 625 | |
| gimps-29.4.7 | 2019-10-10 14:39 | 734 | |
| gimps-29.4.8 | 2019-10-10 14:39 | 670 | |
| gimps-29.8.6 | 2020-05-25 23:27 | 649 | |
| gimps-29.8.6-r1 | 2020-11-25 19:24 | 673 | |
| gimps-30.3.6 | 2022-05-17 05:54 | 814 | |
| gimps-30.4.8 | 2021-02-03 08:39 | 685 | |
| gimps-30.4.9 | 2021-03-08 23:39 | 685 | |
| gimps-30.5.1 | 2021-03-19 08:39 | 764 | |
| gimps-30.5.2 | 2022-05-17 05:54 | 816 | |
| gimps-30.6.4 | 2021-09-20 00:10 | 716 | |
| gimps-30.7.5 | 2021-10-20 04:12 | 716 | |
| gimps-30.7.7 | 2021-10-31 04:10 | 716 | |
| gimps-30.7.9 | 2023-12-26 15:20 | 877 | |
| gimps-30.8.15 | 2025-10-12 17:26 | 839 | |
| gimps-30.8.16 | 2022-10-15 19:41 | 759 | |
| gimps-30.8.17 | 2025-10-12 17:26 | 716 | |
| gimps-30.19.13 | 2024-03-20 22:10 | 904 | |
| gimps-30.19.14 | 2025-10-12 17:26 | 870 | |
| gimps-30.19.20 | 2025-10-12 17:26 | 869 | |
| ginac-1.6.6 | 2021-01-23 10:24 | 1.2K | |
| ginac-1.7.2 | 2020-08-10 10:44 | 1.1K | |
| ginac-1.7.4 | 2020-08-10 10:44 | 685 | |
| ginac-1.7.8 | 2021-01-06 00:24 | 807 | |
| ginac-1.7.11 | 2023-02-07 15:44 | 855 | |
| ginac-1.8.0 | 2023-02-07 15:44 | 856 | |
| ginac-1.8.2 | 2023-05-23 18:12 | 886 | |
| ginac-1.8.6 | 2024-03-08 07:13 | 852 | |
| ginac-1.8.7 | 2023-11-07 06:43 | 852 | |
| ginac-1.8.7-r1 | 2025-04-23 18:27 | 820 | |
| ginac-1.8.7-r2 | 2025-02-16 20:22 | 874 | |
| ginac-1.8.7-r3 | 2025-06-25 07:14 | 833 | |
| ginac-1.8.8 | 2025-05-08 14:46 | 855 | |
| ginac-1.8.9 | 2025-12-19 11:13 | 830 | |
| glpk-4.63 | 2020-04-11 18:09 | 1.4K | |
| glpk-4.65 | 2021-10-01 22:11 | 1.3K | |
| glpk-5.0 | 2021-03-31 07:49 | 1.2K | |
| glpk-5.0-r1 | 2024-12-17 23:53 | 1.3K | |
| glpk-5.0-r2 | 2024-10-08 17:52 | 1.3K | |
| glpk-5.0-r3 | 2025-12-19 11:13 | 1.2K | |
| gmm-5.1 | 2022-08-24 07:17 | 1.0K | |
| gmm-5.3 | 2022-08-24 07:17 | 707 | |
| gmm-5.4 | 2025-07-14 21:21 | 492 | |
| gmm-5.4.2 | 2025-12-19 11:13 | 335 | |
| gmm-5.4.2-r1 | 2025-09-24 21:42 | 396 | |
| gmp-ecm-6.4.3-r5 | 2019-09-13 21:31 | 914 | |
| gmp-ecm-6.4.4-r1 | 2020-02-12 17:52 | 1.2K | |
| gmp-ecm-7.0.4 | 2019-09-13 21:31 | 1.2K | |
| gmp-ecm-7.0.4-r1 | 2020-02-12 17:52 | 1.2K | |
| gmp-ecm-7.0.4-r2 | 2021-09-04 01:24 | 766 | |
| gmp-ecm-7.0.4-r3 | 2021-06-08 22:55 | 798 | |
| gmp-ecm-7.0.4-r4 | 2022-10-10 23:22 | 923 | |
| gmp-ecm-7.0.5 | 2022-07-18 18:23 | 822 | |
| gmp-ecm-7.0.5-r1 | 2025-04-12 18:51 | 643 | |
| gmp-ecm-7.0.6 | 2025-04-12 18:51 | 1.0K | |
| gmp-ecm-7.0.6-r1 | 2025-12-17 16:42 | 635 | |
| gmp-ecm-9999 | 2021-04-18 08:39 | 1.4K | |
| gp2c-0.0.11.2 | 2019-12-28 15:09 | 372 | |
| gp2c-0.0.11.2-r1 | 2020-02-28 13:39 | 389 | |
| gp2c-0.0.11.3 | 2021-01-05 17:39 | 389 | |
| gp2c-0.0.12 | 2021-12-06 08:39 | 388 | |
| gp2c-0.0.14 | 2025-08-08 15:05 | 396 | |
| gretl-1.9.14 | 2021-01-06 00:24 | 1.9K | |
| gretl-1.9.90 | 2021-09-04 01:24 | 1.7K | |
| gretl-2021d | 2025-12-19 11:13 | 1.8K | |
| gsl-shell-2.3.0_beta1 | 2021-04-12 03:42 | 903 | |
| gsl-shell-2.3.0_beta..> | 2022-07-18 18:23 | 931 | |
| gsl-shell-2.3.2 | 2024-05-20 19:53 | 1.2K | |
| gsl-shell-2.3.5 | 2025-12-10 06:41 | 1.5K | |
| gwnum-277 | 2019-05-11 19:02 | 692 | |
| isabelle-2016.1 | 2019-09-13 21:31 | 2.5K | |
| jags-3.4.0 | 2021-01-12 11:11 | 1.2K | |
| jags-4.0.0 | 2021-01-12 11:11 | 1.2K | |
| jags-4.1.0 | 2021-01-06 00:24 | 1.0K | |
| jags-4.2.0 | 2022-07-18 18:23 | 626 | |
| jags-4.3.0 | 2024-10-08 17:52 | 648 | |
| jags-4.3.1 | 2024-04-30 20:41 | 648 | |
| jags-4.3.1-r1 | 2025-12-19 11:13 | 958 | |
| kind2-1.9.0 | 2025-09-26 08:11 | 843 | |
| kissat-3.0.0 | 2023-10-01 09:49 | 523 | |
| kissat-3.1.0 | 2025-07-14 21:21 | 481 | |
| kissat-3.1.1 | 2025-07-14 21:21 | 481 | |
| kissat-3.1.1-r1 | 2025-10-12 17:26 | 481 | |
| kodkod-1.5.2-r1 | 2019-09-13 21:31 | 1.4K | |
| kodkodi-1.5.2-r1 | 2019-09-13 21:31 | 1.3K | |
| lcalc-2.0.1 | 2021-07-01 21:09 | 557 | |
| lcalc-2.0.2 | 2021-07-05 17:09 | 557 | |
| lcalc-2.0.3 | 2021-11-02 13:40 | 556 | |
| lcalc-2.0.4 | 2021-11-26 02:10 | 557 | |
| lcalc-2.0.5 | 2022-01-18 15:09 | 556 | |
| lcalc-2.0.5-r1 | 2022-03-11 00:39 | 661 | |
| lcalc-2.0.5-r2 | 2024-08-27 03:11 | 676 | |
| lcalc-2.1.0 | 2025-01-10 17:13 | 681 | |
| lcalc-2.1.0-r1 | 2025-04-18 07:29 | 841 | |
| lcalc-2.1.1 | 2025-10-12 17:26 | 841 | |
| lean-3.35.1-r1 | 2021-11-26 15:40 | 883 | |
| lean-3.35.1-r2 | 2022-01-22 23:46 | 887 | |
| lean-3.37.0 | 2022-02-21 18:12 | 887 | |
| lean-3.38.0 | 2022-02-22 19:39 | 837 | |
| lean-3.39.1 | 2022-06-22 06:43 | 875 | |
| lean-3.40.0 | 2022-03-25 21:23 | 837 | |
| lean-3.41.0 | 2022-05-17 05:54 | 868 | |
| lean-3.42.0 | 2022-06-22 06:43 | 876 | |
| lean-3.42.1 | 2022-06-28 10:15 | 876 | |
| lean-3.43.0 | 2022-08-03 00:10 | 889 | |
| lean-3.44.1 | 2022-08-24 07:17 | 889 | |
| lean-3.45.0 | 2022-08-24 07:17 | 889 | |
| lean-3.46.0 | 2022-10-10 23:22 | 889 | |
| lean-3.47.0 | 2022-12-10 03:15 | 889 | |
| lean-3.48.0 | 2022-12-10 03:15 | 889 | |
| lean-3.49.0 | 2023-10-05 13:44 | 888 | |
| lean-3.49.1 | 2022-12-10 03:15 | 889 | |
| lean-3.50.0 | 2022-12-15 10:10 | 889 | |
| lean-3.50.1 | 2023-03-26 14:41 | 889 | |
| lean-3.50.2 | 2023-03-26 14:41 | 889 | |
| lean-3.50.3 | 2023-10-05 13:44 | 888 | |
| lean-3.51.0 | 2023-10-05 13:44 | 889 | |
| lean-3.51.1 | 2025-01-28 08:48 | 889 | |
| lean-3.9999 | 2023-10-26 03:12 | 858 | |
| lean-4.2.0 | 2024-12-17 23:53 | 1.0K | |
| lean-4.2.0_rc4 | 2024-01-14 20:41 | 1.0K | |
| lean-4.11.0 | 2025-06-04 04:44 | 933 | |
| lean-4.14.0-r1 | 2025-11-23 20:42 | 1.1K | |
| lean-4.23.0 | 2025-11-23 20:42 | 1.1K | |
| libpoly-0.1.11 | 2025-11-23 20:42 | 1.6K | |
| lpsolve-5.5.2.0 | 2021-11-19 01:09 | 419 | |
| lpsolve-5.5.2.0-r1 | 2022-08-12 14:40 | 399 | |
| lpsolve-5.5.2.11-r1 | 2023-02-03 06:40 | 529 | |
| lpsolve-5.5.2.11-r2 | 2025-12-19 11:13 | 490 | |
| lrcalc-1.2 | 2025-12-17 16:42 | 354 | |
| lrcalc-2.0 | 2021-02-08 02:39 | 366 | |
| lrcalc-2.1 | 2025-12-17 16:42 | 361 | |
| lybniz-1.3.2-r1 | 2019-12-30 14:16 | 1.6K | |
| manifold-3.0.0_pre20..> | 2025-05-06 20:49 | 2.4K | |
| manifold-3.0.1 | 2025-11-01 00:41 | 2.3K | |
| manifold-3.0.2_pre20..> | 2025-11-01 00:41 | 2.4K | |
| manifold-3.1.0 | 2025-07-18 07:13 | 2.3K | |
| manifold-3.1.0-r1 | 2025-11-23 20:42 | 2.3K | |
| manifold-3.2.1 | 2025-11-23 20:42 | 2.4K | |
| manifold-9999 | 2025-11-23 20:42 | 2.4K | |
| mathematica-10.3.1-r1 | 2025-12-12 23:40 | 671 | |
| mathematica-10.3.1-r2 | 2025-12-12 23:40 | 691 | |
| mathematica-12.1.0 | 2025-12-12 23:40 | 671 | |
| mathematica-12.1.1 | 2020-06-24 16:39 | 676 | |
| mathematica-12.1.1-r1 | 2025-12-12 23:40 | 671 | |
| mathematica-12.2.0 | 2025-12-12 23:40 | 671 | |
| mathematica-13.0.0 | 2025-12-12 23:40 | 676 | |
| mathematica-13.0.1 | 2025-12-12 23:40 | 1.0K | |
| mathematica-13.1.0 | 2025-12-12 23:40 | 1.1K | |
| mathematica-13.1.0-r1 | 2025-12-18 05:40 | 1.2K | |
| mathematica-13.2.1 | 2025-12-12 23:40 | 1.0K | |
| mathematica-13.2.1-r1 | 2025-12-18 05:40 | 1.2K | |
| mathematica-13.3.1 | 2025-04-12 18:51 | 1.5K | |
| mathematica-13.3.1-r1 | 2025-12-12 23:40 | 1.5K | |
| mathematica-13.3.1-r2 | 2025-12-18 05:40 | 1.6K | |
| mathematica-14.0.0 | 2025-04-12 18:51 | 1.5K | |
| mathematica-14.0.0-r1 | 2025-10-12 17:26 | 1.5K | |
| mathematica-14.0.0-r2 | 2025-12-12 23:40 | 1.5K | |
| mathematica-14.0.0-r3 | 2025-12-18 05:40 | 1.6K | |
| mathematica-14.1.0 | 2025-04-12 18:51 | 1.5K | |
| mathematica-14.1.0-r1 | 2025-12-12 23:40 | 1.5K | |
| mathematica-14.1.0-r2 | 2025-12-18 05:40 | 1.6K | |
| mathematica-14.2.1 | 2025-12-18 05:40 | 1.7K | |
| mathematica-14.3.0 | 2025-12-18 05:40 | 1.7K | |
| mathlib-tools-1.1.0 | 2022-02-25 17:12 | 3.9K | |
| mathlib-tools-1.1.0-r1 | 2022-10-10 23:22 | 5.1K | |
| mathlib-tools-1.1.1 | 2022-10-10 23:22 | 5.1K | |
| mathlib-tools-1.1.1-r1 | 2022-10-23 14:10 | 5.3K | |
| mathlib-tools-1.1.2 | 2022-10-10 23:22 | 5.1K | |
| mathlib-tools-1.1.2-r1 | 2022-10-23 14:10 | 5.3K | |
| mathlib-tools-1.2.0 | 2022-12-14 11:45 | 5.4K | |
| mathlib-tools-1.3.0 | 2023-01-14 12:45 | 3.0K | |
| mathlib-tools-1.3.1 | 2023-01-14 12:45 | 3.0K | |
| mathlib-tools-1.3.2 | 2023-01-14 12:45 | 3.0K | |
| mathlib-tools-1.3.2_p1 | 2025-01-28 08:48 | 5.7K | |
| mathmod-4.1-r1 | 2024-08-19 08:21 | 741 | |
| mathmod-11.1 | 2025-02-16 20:22 | 926 | |
| mathmod-12.0 | 2025-10-12 17:26 | 814 | |
| mathmod-12.1 | 2025-12-08 13:41 | 854 | |
| mathmod-13.0 | 2025-12-08 13:41 | 854 | |
| mathmod-13.0-r1 | 2025-12-15 17:40 | 854 | |
| mathomatic-15.8.5 | 2020-06-14 12:58 | 858 | |
| mathomatic-16.0.5 | 2022-06-28 10:15 | 1.1K | |
| mathomatic-16.0.5-r1 | 2025-12-19 11:13 | 629 | |
| maxima-5.38.1 | 2020-09-25 12:09 | 2.5K | |
| maxima-5.41.0-r1 | 2019-02-25 07:58 | 2.5K | |
| maxima-5.41.0-r2 | 2019-02-25 07:58 | 2.4K | |
| maxima-5.42.1 | 2021-06-21 16:24 | 2.6K | |
| maxima-5.42.1-r1 | 2022-09-16 10:40 | 2.7K | |
| maxima-5.42.2 | 2021-01-12 11:11 | 2.5K | |
| maxima-5.43.0 | 2019-12-22 12:09 | 2.6K | |
| maxima-5.43.2 | 2021-01-12 11:11 | 2.5K | |
| maxima-5.44.0 | 2021-03-22 09:39 | 2.5K | |
| maxima-5.44.0-r4 | 2021-06-21 16:24 | 3.3K | |
| maxima-5.44.0-r6 | 2021-03-29 16:09 | 3.1K | |
| maxima-5.44.0-r7 | 2021-03-31 07:49 | 3.1K | |
| maxima-5.44.0-r8 | 2021-06-21 16:24 | 2.9K | |
| maxima-5.44.0-r9 | 2022-04-12 08:11 | 3.3K | |
| maxima-5.44.0-r10 | 2022-04-12 08:11 | 2.9K | |
| maxima-5.45.0 | 2021-06-19 20:40 | 2.9K | |
| maxima-5.45.1 | 2021-06-21 16:24 | 3.2K | |
| maxima-5.45.1-r1 | 2021-07-11 00:11 | 3.3K | |
| maxima-5.45.1-r2 | 2022-09-07 10:15 | 3.2K | |
| maxima-5.46.0 | 2023-05-29 20:49 | 3.0K | |
| maxima-5.46.0-r1 | 2025-06-25 07:14 | 2.8K | |
| maxima-5.47.0 | 2025-06-25 07:14 | 2.8K | |
| maxima-5.47.0-r1 | 2025-10-03 21:43 | 2.9K | |
| maxima-5.47.0-r2 | 2025-12-19 11:13 | 3.1K | |
| maxima-5.48.0 | 2025-07-29 11:43 | 3.1K | |
| maxima-5.48.1 | 2025-10-23 20:44 | 3.1K | |
| maxima-5.48.1-r1 | 2025-12-19 11:13 | 3.1K | |
| maxima-5.49.0 | 2025-12-19 11:13 | 3.1K | |
| metamath-0.198 | 2025-10-12 17:26 | 721 | |
| metamath-databases-2..> | 2023-03-04 17:40 | 420 | |
| minisat-2.2.0-r4 | 2021-01-06 00:24 | 542 | |
| minisat-2.2.0_p20130925 | 2019-09-13 21:31 | 656 | |
| minisat-2.2.0_p20130..> | 2022-01-02 12:53 | 656 | |
| minisat-2.2.1 | 2022-01-22 23:46 | 816 | |
| minisat-2.2.1-r1 | 2025-11-23 20:42 | 827 | |
| mlpy-3.5.0 | 2019-12-30 14:16 | 1.9K | |
| msieve-1.51 | 2019-05-11 19:02 | 944 | |
| msieve-1.51-r1 | 2021-01-06 00:24 | 1.0K | |
| msieve-1.53 | 2019-05-11 19:02 | 682 | |
| msieve-1.53-r1 | 2025-11-04 11:12 | 661 | |
| msieve-1.53-r2 | 2025-07-14 21:21 | 664 | |
| msieve-1.53-r3 | 2025-11-04 11:12 | 787 | |
| msieve-9999 | 2021-03-31 07:49 | 1.0K | |
| nauty-2.5.9 | 2020-12-28 10:55 | 385 | |
| nauty-2.6.7 | 2022-01-02 12:53 | 1.4K | |
| nauty-2.6.7-r1 | 2022-01-02 12:53 | 935 | |
| nauty-2.7.3 | 2022-10-10 23:22 | 1.0K | |
| nauty-2.7.4 | 2023-05-29 20:49 | 1.0K | |
| nauty-2.8.6 | 2023-01-03 10:22 | 1.0K | |
| nauty-2.8.6-r1 | 2024-01-15 17:41 | 1.0K | |
| nauty-2.8.8 | 2024-07-12 10:12 | 1.1K | |
| nauty-2.8.8-r1 | 2025-11-04 11:12 | 1.0K | |
| nestedsums-1.5.1 | 2020-01-27 00:16 | 922 | |
| nestedsums-1.5.2 | 2020-08-10 10:44 | 665 | |
| nestedsums-1.5.2-r1 | 2025-10-12 17:26 | 618 | |
| normaliz-2.12.2 | 2021-01-06 00:24 | 1.0K | |
| normaliz-3.1.1 | 2021-01-06 00:24 | 1.0K | |
| normaliz-3.1.3 | 2021-06-08 22:55 | 646 | |
| normaliz-3.1.3-r1 | 2022-07-18 18:23 | 702 | |
| normaliz-3.3.0 | 2021-04-16 13:39 | 1.2K | |
| normaliz-3.8.10 | 2021-06-08 22:55 | 863 | |
| normaliz-3.8.10-r1 | 2022-07-18 18:23 | 915 | |
| normaliz-3.9.3 | 2025-12-19 11:13 | 613 | |
| normaliz-3.10.0 | 2023-08-18 03:52 | 1.0K | |
| normaliz-3.10.1 | 2025-12-19 11:13 | 965 | |
| normaliz-3.10.5 | 2025-12-19 11:13 | 616 | |
| normaliz-3.11.0 | 2025-12-19 11:13 | 616 | |
| num-utils-0.3 | 2018-05-01 21:09 | 365 | |
| num-utils-0.5-r1 | 2020-09-19 21:09 | 419 | |
| num-utils-0.5-r2 | 2023-06-09 17:40 | 445 | |
| nusmv-2.6.0 | 2019-12-30 14:16 | 1.4K | |
| octave-4.2.2 | 2020-05-25 23:27 | 4.2K | |
| octave-4.4.0 | 2020-05-25 23:27 | 4.4K | |
| octave-4.4.1 | 2020-05-25 23:27 | 4.4K | |
| octave-5.1.0 | 2020-05-25 23:27 | 4.4K | |
| octave-5.2.0 | 2022-11-23 02:41 | 4.3K | |
| octave-6.1.0 | 2020-12-01 06:09 | 4.3K | |
| octave-6.1.0-r1 | 2021-02-24 16:43 | 4.3K | |
| octave-6.2.0 | 2022-01-02 19:10 | 4.3K | |
| octave-6.3.0 | 2022-01-02 19:10 | 4.3K | |
| octave-6.4.0 | 2022-04-16 07:11 | 4.3K | |
| octave-6.4.0-r1 | 2022-05-02 21:40 | 4.0K | |
| octave-6.4.0-r2 | 2022-05-18 00:40 | 4.0K | |
| octave-6.4.0-r3 | 2023-01-03 10:22 | 4.0K | |
| octave-6.4.0-r4 | 2023-01-03 10:22 | 4.0K | |
| octave-6.4.0-r5 | 2023-01-30 19:23 | 4.0K | |
| octave-7.1.0 | 2022-07-27 00:10 | 4.0K | |
| octave-7.2.0 | 2022-08-24 07:17 | 4.0K | |
| octave-7.2.0-r1 | 2022-12-06 23:22 | 4.1K | |
| octave-7.3.0 | 2022-11-05 06:40 | 4.1K | |
| octave-7.3.0-r1 | 2023-01-03 10:22 | 4.2K | |
| octave-7.3.0-r2 | 2024-02-12 17:44 | 4.3K | |
| octave-8.1.0 | 2024-02-12 17:44 | 4.3K | |
| octave-8.2.0 | 2024-02-12 17:44 | 4.3K | |
| octave-8.3.0 | 2024-02-12 17:44 | 4.3K | |
| octave-8.3.0-r1 | 2024-03-29 20:16 | 4.3K | |
| octave-8.3.0-r2 | 2024-12-26 19:11 | 4.4K | |
| octave-9.2.0 | 2024-08-19 08:21 | 4.2K | |
| octave-9.2.0-r1 | 2025-05-26 22:11 | 4.2K | |
| octave-9.2.0-r2 | 2025-12-19 11:13 | 4.2K | |
| octave-epstk-2.4 | 2021-11-22 04:39 | 435 | |
| opensmt-2.4.3 | 2023-01-30 19:23 | 1.1K | |
| opensmt-2.4.3-r1 | 2023-03-26 14:41 | 1.1K | |
| opensmt-2.4.3-r2 | 2023-06-25 01:11 | 1.1K | |
| opensmt-2.5.0 | 2023-07-30 21:19 | 1.1K | |
| opensmt-2.5.1 | 2023-08-18 03:52 | 1.1K | |
| opensmt-2.5.2 | 2025-11-16 20:12 | 1.1K | |
| opensmt-2.7.0 | 2025-11-23 20:42 | 1.0K | |
| opensmt-2.9.2 | 2025-11-23 20:42 | 1.0K | |
| otter-3.3-r3 | 2022-10-10 23:22 | 781 | |
| otter-3.3-r4 | 2025-12-19 11:13 | 534 | |
| p9m4-05-r1 | 2019-12-30 14:16 | 1.5K | |
| palp-2.21 | 2025-10-12 17:26 | 538 | |
| pari-2.9.4-r1 | 2020-02-12 17:52 | 1.2K | |
| pari-2.11.2 | 2020-06-14 12:58 | 1.0K | |
| pari-2.11.3 | 2020-04-17 10:09 | 1.0K | |
| pari-2.11.4 | 2021-09-04 01:24 | 1.1K | |
| pari-2.13.0 | 2021-09-04 01:24 | 1.2K | |
| pari-2.13.1 | 2021-05-08 12:14 | 1.1K | |
| pari-2.13.1-r1 | 2021-09-04 01:24 | 1.2K | |
| pari-2.13.2 | 2022-01-02 12:53 | 1.1K | |
| pari-2.13.3 | 2022-05-17 05:54 | 1.0K | |
| pari-2.13.4 | 2022-08-24 07:17 | 1.0K | |
| pari-2.13.4-r1 | 2023-06-03 13:40 | 1.0K | |
| pari-2.15.0 | 2022-10-10 23:22 | 1.0K | |
| pari-2.15.1 | 2023-01-03 10:22 | 1.0K | |
| pari-2.15.2 | 2023-01-22 02:40 | 1.0K | |
| pari-2.15.2-r1 | 2023-01-26 03:12 | 1.0K | |
| pari-2.15.2-r2 | 2023-02-19 20:52 | 1.0K | |
| pari-2.15.3 | 2023-10-29 05:20 | 1.0K | |
| pari-2.15.4 | 2023-07-30 21:19 | 1.0K | |
| pari-2.15.4-r1 | 2024-07-05 23:16 | 1.1K | |
| pari-2.15.5 | 2025-12-19 11:13 | 1.0K | |
| pari-2.17.1 | 2025-12-19 11:13 | 1.0K | |
| pari-2.17.2 | 2025-12-19 11:13 | 1.0K | |
| pari-data-20120726 | 2019-10-11 18:11 | 772 | |
| pari-data-20191216 | 2025-12-19 11:13 | 701 | |
| petsc-3.11.3 | 2020-04-19 19:15 | 2.0K | |
| petsc-3.12.1 | 2020-04-19 19:15 | 2.0K | |
| petsc-3.13.0 | 2021-01-15 18:12 | 2.1K | |
| petsc-3.13.1 | 2022-05-17 05:54 | 2.2K | |
| petsc-3.14.6 | 2022-05-17 05:54 | 2.2K | |
| petsc-3.15.0 | 2022-05-17 05:54 | 2.3K | |
| petsc-3.15.0-r1 | 2022-05-17 05:54 | 2.1K | |
| petsc-3.16.0 | 2022-05-17 05:54 | 2.4K | |
| petsc-3.16.0-r1 | 2024-04-01 12:14 | 2.2K | |
| petsc-3.16.0-r2 | 2025-04-23 18:27 | 2.1K | |
| petsc-3.17.1 | 2022-05-26 03:40 | 2.0K | |
| petsc-3.17.1-r1 | 2024-04-01 12:14 | 1.9K | |
| petsc-3.17.1-r2 | 2025-04-23 18:27 | 1.9K | |
| petsc-3.18.2 | 2024-04-01 12:14 | 2.0K | |
| petsc-3.18.2-r1 | 2025-06-25 07:14 | 1.9K | |
| petsc-3.19.1 | 2024-04-01 12:14 | 2.0K | |
| petsc-3.19.1-r1 | 2025-06-25 07:14 | 1.9K | |
| petsc-3.19.2 | 2024-04-01 12:14 | 2.0K | |
| petsc-3.19.2-r1 | 2025-06-25 07:14 | 1.9K | |
| petsc-3.19.4 | 2024-04-01 12:14 | 2.0K | |
| petsc-3.19.4-r1 | 2025-06-25 07:14 | 1.9K | |
| petsc-3.20.5 | 2024-04-01 12:14 | 2.0K | |
| petsc-3.20.5-r1 | 2025-06-25 07:14 | 1.9K | |
| petsc-3.21.3 | 2025-06-25 07:14 | 1.9K | |
| petsc-3.22.2 | 2025-11-07 05:13 | 1.9K | |
| petsc-3.23.3 | 2025-11-07 05:13 | 2.1K | |
| petsc-3.23.4 | 2025-11-07 05:13 | 2.1K | |
| picosat-965 | 2025-10-12 17:26 | 350 | |
| picosat-965-r1 | 2023-01-11 05:10 | 393 | |
| planarity-3.0.0.5 | 2020-03-24 20:09 | 368 | |
| planarity-3.0.1.0 | 2021-06-19 10:10 | 411 | |
| planarity-3.0.1.1 | 2021-11-02 17:09 | 382 | |
| planarity-3.0.2.0 | 2024-08-20 23:11 | 390 | |
| planarity-4.0.0.0 | 2025-06-22 22:11 | 395 | |
| plfit-0.9.3 | 2024-10-08 17:52 | 777 | |
| plfit-0.9.4 | 2024-03-08 23:40 | 779 | |
| plfit-0.9.5 | 2025-11-23 20:42 | 735 | |
| plfit-1.0.1 | 2025-11-23 20:42 | 744 | |
| polymake-3.0_p2 | 2021-09-04 01:24 | 1.7K | |
| polymake-4.5 | 2022-01-22 23:46 | 1.6K | |
| polymake-4.6 | 2022-12-06 23:22 | 1.7K | |
| polymake-4.6-r1 | 2023-08-18 03:52 | 1.7K | |
| polymake-4.7 | 2022-12-06 23:22 | 1.7K | |
| polymake-4.8 | 2023-05-10 20:19 | 1.7K | |
| polymake-4.9 | 2023-08-18 03:52 | 1.7K | |
| polymake-4.11 | 2025-04-12 18:51 | 1.7K | |
| polymake-4.12 | 2024-10-27 04:41 | 1.7K | |
| polymake-4.13 | 2025-12-19 11:13 | 1.7K | |
| polymake-4.14 | 2025-12-19 11:13 | 1.7K | |
| polymake-4.15 | 2025-12-19 11:13 | 1.7K | |
| primecount-7.2 | 2021-12-26 01:23 | 860 | |
| primecount-7.2-r1 | 2022-07-26 07:15 | 924 | |
| primecount-7.3 | 2022-10-10 23:22 | 924 | |
| primecount-7.4 | 2023-01-30 19:23 | 936 | |
| primecount-7.6 | 2025-04-23 18:27 | 897 | |
| primecount-7.13 | 2024-07-28 01:41 | 921 | |
| primecount-7.13-r1 | 2025-11-23 20:42 | 885 | |
| primesieve-7.7 | 2022-07-26 07:15 | 862 | |
| primesieve-7.9 | 2022-10-10 23:22 | 862 | |
| primesieve-8.0 | 2023-01-30 19:23 | 863 | |
| primesieve-11.0 | 2025-04-23 18:27 | 825 | |
| primesieve-12.3 | 2025-11-23 20:42 | 893 | |
| prng-3.0.2-r2 | 2021-04-12 12:41 | 1.1K | |
| prng-3.0.2-r3 | 2025-07-14 21:21 | 739 | |
| prng-3.0.2-r4 | 2025-12-19 11:13 | 715 | |
| prover9-2009.11a | 2023-12-26 15:20 | 539 | |
| prover9-2009.11a-r1 | 2025-02-16 20:22 | 539 | |
| prover9-2009.11a-r2 | 2025-10-12 17:26 | 497 | |
| proverif-2.04 | 2023-10-22 12:10 | 727 | |
| proverif-2.04-r1 | 2025-05-14 10:41 | 773 | |
| proverif-2.05 | 2025-05-14 10:41 | 759 | |
| proverif-9999 | 2025-05-14 10:41 | 769 | |
| psmt2-frontend-0.2 | 2024-01-15 17:41 | 1.0K | |
| psmt2-frontend-0.4.0 | 2025-09-26 08:11 | 827 | |
| pspp-1.2.0 | 2020-11-25 19:24 | 1.7K | |
| pspp-1.2.0-r1 | 2022-06-07 09:15 | 1.7K | |
| pspp-1.4.1 | 2022-06-07 09:15 | 1.7K | |
| pspp-1.6.0 | 2022-10-04 06:44 | 1.6K | |
| pspp-1.6.0-r1 | 2023-01-14 14:13 | 1.6K | |
| pspp-1.6.1 | 2022-10-04 06:44 | 1.7K | |
| pspp-1.6.2 | 2022-10-04 06:44 | 1.7K | |
| pspp-1.6.2-r1 | 2023-01-14 14:13 | 1.6K | |
| pspp-1.6.2-r2 | 2025-06-04 04:44 | 1.5K | |
| pspp-1.6.2-r3 | 2025-12-19 11:13 | 1.5K | |
| pspp-2.0.1 | 2025-06-04 04:44 | 1.5K | |
| pspp-2.0.1-r1 | 2025-12-19 11:13 | 1.5K | |
| pymc-2.3.6 | 2020-01-10 01:40 | 2.7K | |
| pymc3-3.1 | 2020-05-01 12:41 | 4.2K | |
| pymc3-3.1-r1 | 2020-09-18 12:39 | 3.9K | |
| relational-2.5 | 2020-01-05 12:15 | 1.4K | |
| relational-2.5-r1 | 2020-02-10 09:40 | 1.0K | |
| relational-2.5-r2 | 2022-12-14 11:45 | 1.4K | |
| rkward-0.7.0b | 2020-02-14 01:40 | 2.9K | |
| rkward-0.7.1 | 2020-05-25 23:27 | 2.4K | |
| rkward-0.7.1b | 2020-10-09 21:09 | 2.5K | |
| rkward-0.7.2 | 2022-01-02 12:53 | 2.5K | |
| rkward-0.7.2-r1 | 2022-05-17 05:54 | 2.3K | |
| rkward-0.7.3 | 2022-05-18 15:10 | 2.3K | |
| rkward-0.7.4 | 2022-10-11 15:10 | 2.4K | |
| rkward-0.7.5 | 2024-08-22 00:11 | 2.4K | |
| rkward-0.8.0 | 2025-04-23 18:27 | 2.8K | |
| rkward-0.8.1 | 2025-10-21 14:15 | 2.8K | |
| rkward-0.8.2 | 2025-12-19 11:13 | 2.8K | |
| rngstreams-1.0.1 | 2025-12-19 11:13 | 431 | |
| rstudio-1.1.383-r1 | 2019-12-04 03:43 | 3.7K | |
| rstudio-1.1.453 | 2019-12-04 03:43 | 3.9K | |
| rstudio-1.1.463 | 2019-12-04 03:43 | 3.9K | |
| rstudio-1.1.463-r1 | 2020-05-23 10:57 | 3.7K | |
| rstudio-1.2.1335 | 2020-05-23 10:57 | 3.7K | |
| rstudio-1.2.5033 | 2021-01-06 00:24 | 3.7K | |
| rstudio-1.2.5042 | 2021-01-06 00:24 | 3.7K | |
| rstudio-1.3.959 | 2021-01-06 00:24 | 3.7K | |
| rstudio-1.3.1056 | 2021-01-06 00:24 | 3.7K | |
| rstudio-1.3.1093 | 2021-06-08 22:55 | 3.6K | |
| rstudio-1.3.1093-r1 | 2022-07-26 07:15 | 3.7K | |
| rw-0.7-r2 | 2019-07-15 17:40 | 529 | |
| rw-0.8 | 2019-10-07 21:09 | 488 | |
| rw-0.8-r1 | 2020-02-23 15:39 | 848 | |
| rw-0.8-r2 | 2020-06-14 12:58 | 738 | |
| rw-0.8-r3 | 2021-04-12 12:41 | 768 | |
| rw-0.9 | 2025-12-19 11:13 | 348 | |
| sha1-polyml-5.5.0 | 2021-01-06 00:24 | 410 | |
| sha1-polyml-5.6_p1 | 2022-07-18 18:23 | 435 | |
| sha1-polyml-5.9 | 2025-10-12 17:26 | 410 | |
| singular-3.1.6 | 2019-11-26 20:56 | 2.6K | |
| singular-4.0.2 | 2021-05-08 12:14 | 1.8K | |
| singular-4.0.3 | 2021-05-08 12:14 | 1.8K | |
| singular-4.2.0_p1 | 2022-12-06 23:22 | 1.2K | |
| singular-4.2.0_p3 | 2021-06-23 12:54 | 1.2K | |
| singular-4.2.0_p3-r1 | 2022-06-29 16:42 | 1.4K | |
| singular-4.2.1 | 2022-06-29 16:42 | 1.4K | |
| singular-4.2.1-r1 | 2022-01-22 23:46 | 1.4K | |
| singular-4.2.1_p3 | 2022-01-22 23:46 | 1.4K | |
| singular-4.2.1_p3-r1 | 2022-12-06 23:22 | 1.4K | |
| singular-4.3.0 | 2022-05-17 05:54 | 1.4K | |
| singular-4.3.0_p1 | 2022-06-29 16:42 | 1.3K | |
| singular-4.3.1_p1 | 2023-05-10 20:19 | 944 | |
| singular-4.3.1_p2 | 2022-12-24 00:40 | 950 | |
| singular-4.3.1_p3 | 2023-07-01 09:40 | 949 | |
| singular-4.3.2_p1 | 2023-11-27 14:41 | 1.0K | |
| singular-4.3.2_p10 | 2024-05-12 07:46 | 1.1K | |
| singular-4.3.2_p16 | 2024-05-29 16:11 | 1.4K | |
| singular-4.3.2_p16-r1 | 2024-12-17 23:53 | 1.4K | |
| singular-4.4.0_p2 | 2024-08-23 19:41 | 1.0K | |
| singular-4.4.0_p6 | 2025-04-23 18:27 | 1.0K | |
| singular-4.4.1 | 2025-12-19 11:13 | 961 | |
| singular-4.4.1-r1 | 2025-12-19 11:13 | 962 | |
| slepc-3.11.1 | 2020-04-19 19:15 | 890 | |
| slepc-3.12.1 | 2020-04-19 19:15 | 890 | |
| slepc-3.13.1 | 2022-05-17 05:54 | 1.1K | |
| slepc-3.14.2 | 2022-05-17 05:54 | 1.1K | |
| slepc-3.15.0 | 2022-05-17 05:54 | 1.2K | |
| slepc-3.16.0 | 2025-04-23 18:27 | 937 | |
| slepc-3.17.1 | 2025-04-23 18:27 | 937 | |
| slepc-3.18.1 | 2025-06-25 07:14 | 905 | |
| slepc-3.19.0 | 2025-06-25 07:14 | 1.0K | |
| slepc-3.19.1 | 2025-06-25 07:14 | 1.0K | |
| slepc-3.20.1 | 2025-06-25 07:14 | 1.0K | |
| slepc-3.21.1 | 2025-06-25 07:14 | 1.0K | |
| slepc-3.22.1 | 2025-10-23 20:44 | 1.0K | |
| slepc-3.23.1 | 2025-10-23 20:44 | 1.0K | |
| smtinterpol-2.5_p202..> | 2024-10-02 11:11 | 920 | |
| smtinterpol-2.5_p202..> | 2025-10-03 18:40 | 751 | |
| snns-4.3-r2 | 2019-12-30 14:16 | 1.5K | |
| snns-4.3-r3 | 2019-12-30 14:16 | 1.6K | |
| spass-3.7 | 2018-08-15 10:04 | 562 | |
| spass-3.9 | 2019-09-13 21:31 | 538 | |
| spin-6.4.5 | 2021-11-22 04:39 | 687 | |
| spin-6.5.1 | 2021-11-27 00:10 | 653 | |
| spin-6.5.2 | 2022-01-02 12:53 | 653 | |
| spin-6.5.2-r1 | 2025-12-12 23:40 | 652 | |
| stp-2.3.3-r1 | 2022-08-07 02:10 | 2.1K | |
| stp-2.3.3-r2 | 2023-02-20 02:11 | 1.9K | |
| stp-2.3.3-r3 | 2025-11-23 20:42 | 1.9K | |
| stp-2.3.4 | 2025-11-23 20:42 | 1.9K | |
| sympow-2.023.6 | 2024-12-17 23:53 | 524 | |
| sympow-2.023.7 | 2025-10-12 17:26 | 483 | |
| topcom-0.17.7 | 2021-05-08 12:14 | 1.1K | |
| topcom-0.17.7-r1 | 2022-05-02 21:40 | 1.1K | |
| topcom-0.17.8-r1 | 2022-04-30 21:41 | 1.1K | |
| topcom-0.17.8-r3 | 2025-10-12 17:26 | 1.1K | |
| topcom-1.1.2 | 2025-10-12 17:26 | 1.0K | |
| twelf-1.7.1 | 2021-01-06 00:24 | 1.1K | |
| twelf-1.7.1-r1 | 2022-03-25 21:23 | 762 | |
| twelf-1.7.1-r2 | 2025-10-12 17:26 | 785 | |
| unuran-1.8.1 | 2025-12-19 11:13 | 629 | |
| unuran-1.9.0 | 2025-12-19 11:13 | 1.0K | |
| vampire-4.6.1 | 2022-07-21 02:15 | 876 | |
| vampire-4.6.1-r1 | 2022-08-24 07:17 | 901 | |
| vampire-4.6.1-r2 | 2023-07-02 15:41 | 907 | |
| vampire-4.7 | 2022-08-24 07:17 | 931 | |
| vampire-4.7-r1 | 2023-08-18 03:52 | 937 | |
| vampire-4.8 | 2025-11-23 20:42 | 914 | |
| vampire-4.9 | 2025-11-23 20:42 | 914 | |
| verifpal-0.27.0 | 2025-10-12 17:26 | 753 | |
| verit-2021.06.2 | 2022-03-10 22:39 | 320 | |
| why3-1.4.0 | 2021-12-12 03:10 | 1.8K | |
| why3-1.4.0-r1 | 2022-01-11 01:40 | 1.8K | |
| why3-1.4.0-r2 | 2022-07-18 18:23 | 1.8K | |
| why3-1.4.0-r3 | 2023-03-26 14:22 | 1.8K | |
| why3-1.4.1 | 2022-07-18 18:23 | 1.8K | |
| why3-1.4.1-r1 | 2023-06-10 12:50 | 1.8K | |
| why3-1.5.0 | 2022-07-18 18:23 | 1.9K | |
| why3-1.5.0-r1 | 2023-03-26 14:22 | 1.9K | |
| why3-1.5.1 | 2023-06-10 12:50 | 1.9K | |
| why3-1.6.0 | 2025-10-12 17:26 | 1.9K | |
| why3-1.7.2 | 2025-10-12 17:26 | 1.9K | |
| why3-1.8.0 | 2025-10-12 17:26 | 1.9K | |
| why3-1.8.1 | 2025-10-12 17:26 | 1.9K | |
| why3-1.8.2 | 2025-10-12 17:26 | 1.9K | |
| why3-for-spark-2017 | 2018-12-16 10:09 | 1.4K | |
| why3-for-spark-2018 | 2021-09-18 19:09 | 1.1K | |
| why3-for-spark-2019 | 2021-01-17 05:39 | 1.4K | |
| why3-for-spark-2019-r1 | 2021-01-17 05:39 | 1.5K | |
| why3-for-spark-2019-r2 | 2022-11-26 15:10 | 1.1K | |
| why3-for-spark-2019-r3 | 2023-03-31 15:40 | 1.1K | |
| why3-for-spark-2020 | 2023-03-26 14:22 | 1.6K | |
| why3-for-spark-2021 | 2022-02-07 23:10 | 1.7K | |
| why3-for-spark-2021-r1 | 2025-10-12 17:26 | 2.0K | |
| why3-for-spark-2023...> | 2025-02-07 22:11 | 2.1K | |
| why3-for-spark-2023...> | 2025-02-08 23:11 | 2.1K | |
| why3-for-spark-2023...> | 2025-10-12 17:26 | 2.0K | |
| wxmaxima-15.08.2 | 2019-08-16 20:18 | 1.1K | |
| wxmaxima-18.11.4 | 2021-04-12 03:42 | 1.4K | |
| wxmaxima-19.02.2_p1 | 2019-02-26 10:09 | 1.3K | |
| wxmaxima-19.03.1 | 2019-08-16 20:18 | 1.3K | |
| wxmaxima-19.05.7 | 2019-12-24 12:16 | 1.3K | |
| wxmaxima-19.08.1 | 2019-12-24 12:16 | 1.3K | |
| wxmaxima-19.09.0 | 2019-12-24 12:16 | 1.1K | |
| wxmaxima-19.10.0 | 2019-12-24 12:16 | 1.1K | |
| wxmaxima-19.11.0 | 2019-12-24 12:16 | 1.1K | |
| wxmaxima-19.12.1 | 2019-12-24 12:16 | 1.1K | |
| wxmaxima-19.12.2 | 2020-01-27 00:16 | 1.1K | |
| wxmaxima-20.01.1 | 2021-01-06 00:24 | 1.2K | |
| wxmaxima-20.01.3 | 2021-01-06 00:24 | 1.2K | |
| wxmaxima-20.02.4 | 2021-01-06 00:24 | 1.2K | |
| wxmaxima-20.04.0 | 2021-01-06 00:24 | 1.2K | |
| wxmaxima-20.06.6 | 2020-08-10 10:44 | 1.2K | |
| wxmaxima-20.07.0 | 2021-01-06 00:24 | 1.2K | |
| wxmaxima-20.09.0 | 2021-01-06 00:24 | 1.2K | |
| wxmaxima-20.12.2 | 2023-05-29 20:49 | 1.3K | |
| wxmaxima-21.01.0 | 2021-10-31 20:44 | 1.3K | |
| wxmaxima-21.04.0 | 2021-10-31 20:44 | 1.3K | |
| wxmaxima-21.05.1 | 2021-10-31 20:44 | 1.3K | |
| wxmaxima-21.05.2 | 2022-04-01 17:45 | 1.3K | |
| wxmaxima-21.11.0 | 2022-08-24 07:17 | 1.4K | |
| wxmaxima-22.04.0 | 2022-08-24 07:17 | 1.4K | |
| wxmaxima-22.05.0 | 2023-01-30 19:23 | 1.4K | |
| wxmaxima-22.09.0 | 2023-01-30 19:23 | 1.4K | |
| wxmaxima-22.12.0 | 2023-05-07 18:12 | 1.2K | |
| wxmaxima-23.02.0 | 2023-05-07 18:12 | 1.2K | |
| wxmaxima-23.04.1 | 2023-12-14 06:45 | 1.2K | |
| wxmaxima-23.04.1-r1 | 2023-05-14 13:40 | 1.2K | |
| wxmaxima-23.05.0 | 2023-05-19 13:40 | 1.2K | |
| wxmaxima-23.05.1 | 2023-08-23 10:11 | 1.2K | |
| wxmaxima-23.07.0 | 2024-02-12 17:44 | 1.2K | |
| wxmaxima-23.08.0 | 2023-12-14 06:45 | 1.2K | |
| wxmaxima-23.10.0 | 2024-02-12 17:44 | 1.2K | |
| wxmaxima-23.11.0 | 2023-12-23 19:44 | 1.2K | |
| wxmaxima-23.12.0 | 2024-02-12 17:44 | 1.2K | |
| wxmaxima-24.02.0 | 2024-02-12 17:44 | 1.2K | |
| wxmaxima-24.02.1 | 2025-01-28 08:48 | 1.2K | |
| wxmaxima-24.02.2 | 2024-10-08 17:52 | 1.2K | |
| wxmaxima-24.05.0 | 2025-05-06 20:49 | 1.2K | |
| wxmaxima-24.05.0-r1 | 2025-06-03 19:12 | 1.2K | |
| wxmaxima-24.05.0-r2 | 2025-06-24 22:12 | 1.2K | |
| wxmaxima-24.08.0 | 2025-01-28 08:48 | 1.2K | |
| wxmaxima-24.11.0 | 2025-04-23 18:27 | 1.2K | |
| wxmaxima-25.01.0 | 2025-05-06 20:49 | 1.2K | |
| wxmaxima-25.01.0-r1 | 2025-06-03 19:12 | 1.2K | |
| wxmaxima-25.01.0-r2 | 2025-06-24 22:12 | 1.2K | |
| wxmaxima-25.04.0 | 2025-05-06 20:49 | 1.2K | |
| wxmaxima-25.04.0-r1 | 2025-06-03 19:12 | 1.2K | |
| wxmaxima-25.04.0-r2 | 2025-11-23 20:42 | 1.2K | |
| xmds-2.2.2 | 2019-12-30 14:16 | 2.0K | |
| yacas-1.6.1-r1 | 2019-07-14 16:44 | 2.0K | |
| yacas-1.7.0 | 2019-07-17 00:39 | 1.4K | |
| yacas-1.7.0-r1 | 2022-12-10 03:15 | 1.7K | |
| yacas-1.9.1 | 2023-07-30 21:19 | 1.6K | |
| yacas-1.9.1-r1 | 2024-12-17 23:53 | 1.6K | |
| yacas-1.9.1-r2 | 2025-11-23 20:42 | 1.1K | |
| yafu-1.34.3 | 2021-03-03 19:09 | 844 | |
| yafu-1.34.3-r1 | 2025-02-16 20:22 | 734 | |
| yafu-1.34.3-r2 | 2025-10-12 17:26 | 764 | |
| yafu-9999 | 2021-04-18 08:39 | 1.0K | |
| yices2-2.6.4 | 2023-01-03 10:22 | 914 | |
| yices2-2.6.4-r1 | 2025-10-12 17:26 | 919 | |
| yices2-2.6.5 | 2025-10-12 17:26 | 965 | |
| z3-4.4.1 | 2019-11-29 09:45 | 1.7K | |
| z3-4.5.0 | 2019-11-29 09:45 | 1.7K | |
| z3-4.8.4 | 2019-05-18 21:43 | 3.7K | |
| z3-4.8.5 | 2019-12-04 03:43 | 3.7K | |
| z3-4.8.6 | 2020-07-24 23:41 | 2.5K | |
| z3-4.8.8 | 2020-09-29 16:11 | 2.5K | |
| z3-4.8.9 | 2021-02-21 14:41 | 2.5K | |
| z3-4.8.10 | 2021-06-08 22:55 | 2.2K | |
| z3-4.8.10-r1 | 2021-07-02 17:45 | 2.3K | |
| z3-4.8.11 | 2021-06-08 22:55 | 2.2K | |
| z3-4.8.11-r1 | 2021-07-02 17:45 | 2.3K | |
| z3-4.8.11b | 2022-01-09 09:44 | 2.5K | |
| z3-4.8.13 | 2022-02-09 11:14 | 2.5K | |
| z3-4.8.14 | 2022-03-16 20:40 | 2.5K | |
| z3-4.8.14-r1 | 2022-04-21 17:45 | 2.5K | |
| z3-4.8.15 | 2022-03-21 10:09 | 2.3K | |
| z3-4.8.15-r1 | 2022-05-17 05:54 | 2.4K | |
| z3-4.8.16 | 2022-05-17 05:54 | 2.4K | |
| z3-4.8.17 | 2022-09-07 10:15 | 2.3K | |
| z3-4.9.1 | 2022-07-07 10:40 | 2.3K | |
| z3-4.9.1-r1 | 2022-09-07 10:15 | 2.3K | |
| z3-4.10.1 | 2022-09-07 10:15 | 2.3K | |
| z3-4.10.2 | 2022-09-07 10:15 | 2.3K | |
| z3-4.11.0 | 2022-09-07 10:15 | 2.6K | |
| z3-4.11.2 | 2023-03-26 14:41 | 2.4K | |
| z3-4.12.0 | 2023-03-26 14:41 | 2.4K | |
| z3-4.12.1 | 2023-11-23 16:12 | 2.2K | |
| z3-4.12.2 | 2023-12-15 08:14 | 2.4K | |
| z3-4.12.3 | 2024-01-05 21:43 | 2.4K | |
| z3-4.12.4 | 2024-01-27 18:44 | 2.4K | |
| z3-4.12.5 | 2024-03-08 07:13 | 2.4K | |
| z3-4.12.6 | 2024-03-16 18:41 | 2.4K | |
| z3-4.13.0 | 2024-10-14 15:44 | 2.4K | |
| z3-4.13.2 | 2024-10-14 15:44 | 2.5K | |
| z3-4.13.3 | 2024-12-17 23:53 | 2.5K | |
| z3-4.13.4 | 2025-02-16 20:22 | 2.5K | |
| z3-4.14.0 | 2025-03-28 16:48 | 2.5K | |
| z3-4.14.1 | 2025-07-12 07:14 | 2.4K | |
| z3-4.15.0 | 2025-07-12 07:14 | 2.4K | |
| z3-4.15.1 | 2025-07-12 07:14 | 2.4K | |
| z3-4.15.2 | 2025-09-06 10:18 | 2.4K | |
| z3-4.15.3 | 2025-11-23 20:42 | 2.4K | |
| z3-4.15.4 | 2025-12-14 01:10 | 2.4K | |