| 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, 19 Oct 2024 08:02:37 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/ | Thu, 06 Jun 2024 05:20:38 GMT | |
| glpk/ | Wed, 15 Jan 2025 13:33:47 GMT | |
| gmm/ | Tue, 29 Oct 2024 11:51:30 GMT | |
| gmp-ecm/ | Tue, 17 Dec 2024 05:11:55 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/ | Wed, 04 Sep 2024 19:41:51 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/ | Fri, 12 Aug 2022 09:18:58 GMT | |
| prng/ | Fri, 21 May 2021 13:27:32 GMT | |
| pspp/ | Fri, 13 Jan 2023 18:25:27 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/ | Sun, 08 Dec 2024 23:10:39 GMT | |
| z3/ | Tue, 01 Apr 2025 06:55:00 GMT | |
| alt-ergo/ | Sat, 20 Jul 2024 09:06:12 GMT | |
| coq/ | Thu, 13 Mar 2025 05:41:47 GMT | |
| psmt2-frontend/ | Thu, 03 Mar 2022 14:33:44 GMT | |
| primecount/ | Sun, 03 Dec 2023 20:37:14 GMT | |
| primesieve/ | Sun, 03 Dec 2023 20:37:14 GMT | |
| lean/ | Thu, 20 Feb 2025 18:27:08 GMT | |
| cadabra/ | Wed, 28 Feb 2024 12:04:46 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, 12 Feb 2024 10:12:02 GMT | |
| gap/ | Tue, 16 Jul 2024 13:15:16 GMT | |
| palp/ | Fri, 07 Jun 2024 08:21:50 GMT | |
| singular/ | Sun, 08 Dec 2024 23:10:39 GMT | |
| octave/ | Fri, 24 Jan 2025 10:28:19 GMT | |
| clipper2/ | Tue, 07 Jan 2025 18:44:22 GMT | |
| manifold/ | Sat, 15 Feb 2025 17:48:25 GMT | |
| cadical/ | Thu, 20 Feb 2025 18:26:50 GMT |