| Filename | Size | Last Modified |
| 4ti2/ | Thu, 13 Mar 2025 05:41:47 GMT | |
| calc/ | Thu, 01 Sep 2022 12:19:27 GMT | |
| cgal/ | Thu, 13 Mar 2025 05:41:47 GMT | |
| cliquer/ | Thu, 04 Nov 2021 17:08:36 GMT | |
| euler/ | Tue, 23 Feb 2021 18:56:57 GMT | |
| flint/ | Sat, 07 Jun 2025 21:32:56 GMT | |
| frobby/ | Thu, 29 Dec 2022 15:06:35 GMT | |
| genius/ | Mon, 13 Dec 2021 06:44:27 GMT | |
| gfan/ | Sun, 08 Dec 2024 23:10:39 GMT | |
| gimps/ | Sat, 31 Aug 2024 21:41:28 GMT | |
| ginac/ | Tue, 24 Jun 2025 13:06:55 GMT | |
| glpk/ | Wed, 15 Jan 2025 13:33:47 GMT | |
| gmm/ | Tue, 29 Oct 2024 11:51:30 GMT | |
| gmp-ecm/ | Mon, 21 Apr 2025 18:40:11 GMT | |
| gp2c/ | Tue, 07 Dec 2021 16:25:25 GMT | |
| jags/ | Wed, 07 Aug 2024 08:02:30 GMT | |
| lcalc/ | Sun, 17 Jul 2022 21:34:49 GMT | |
| lpsolve/ | Wed, 03 May 2023 12:58:40 GMT | |
| lrcalc/ | Sun, 19 Nov 2023 07:35:54 GMT | |
| mathomatic/ | Fri, 08 Jul 2022 12:07:49 GMT | |
| maxima/ | Tue, 30 Sep 2025 04:36:31 GMT | |
| nauty/ | Tue, 16 Jul 2024 13:15:16 GMT | |
| normaliz/ | Mon, 18 Dec 2023 11:59:28 GMT | |
| num-utils/ | Wed, 23 Sep 2020 17:16:12 GMT | |
| otter/ | Wed, 12 Oct 2022 17:28:37 GMT | |
| pari-data/ | Mon, 24 Feb 2020 08:58:31 GMT | |
| pari/ | Mon, 03 Feb 2025 07:17:22 GMT | |
| planarity/ | Tue, 24 Jun 2025 13:06:55 GMT | |
| prng/ | Mon, 15 Sep 2025 21:18:20 GMT | |
| pspp/ | Mon, 16 Jun 2025 11:42:20 GMT | |
| rngstreams/ | Wed, 01 Aug 2018 17:26:27 GMT | |
| rw/ | Thu, 27 May 2021 10:07:25 GMT | |
| sympow/ | Mon, 23 Dec 2024 15:11:27 GMT | |
| unuran/ | Tue, 13 Jun 2023 15:45:17 GMT | |
| wxmaxima/ | Mon, 30 Jun 2025 19:13:25 GMT | |
| z3/ | Mon, 15 Sep 2025 21:18:20 GMT | |
| alt-ergo/ | Tue, 30 Sep 2025 04:36:31 GMT | |
| coq/ | Sat, 08 Nov 2025 19:01:33 GMT | |
| psmt2-frontend/ | Thu, 03 Mar 2022 14:33:44 GMT | |
| primecount/ | Sat, 03 May 2025 08:07:16 GMT | |
| primesieve/ | Sat, 03 May 2025 08:07:16 GMT | |
| lean/ | Thu, 20 Feb 2025 18:27:08 GMT | |
| picosat/ | Tue, 31 Jan 2023 11:26:08 GMT | |
| smtinterpol/ | Fri, 04 Oct 2024 10:20:10 GMT | |
| ent/ | Thu, 01 Jun 2023 14:09:14 GMT | |
| plfit/ | Sun, 08 Dec 2024 23:10:39 GMT | |
| polymake/ | Mon, 21 Apr 2025 18:40:11 GMT | |
| gap/ | Sun, 07 Sep 2025 21:19:59 GMT | |
| palp/ | Fri, 07 Jun 2024 08:21:50 GMT | |
| singular/ | Tue, 24 Jun 2025 13:06:55 GMT | |
| octave/ | Mon, 02 Jun 2025 08:30:20 GMT | |
| clipper2/ | Wed, 24 Sep 2025 13:31:29 GMT | |
| manifold/ | Wed, 23 Jul 2025 11:29:05 GMT | |
| cadical/ | Thu, 20 Feb 2025 18:26:50 GMT | |
| coq-stdlib/ | Sat, 08 Nov 2025 19:01:16 GMT |