| Filename | Size | Last Modified |
| 4ti2/ | Mon, 21 Jun 2021 07:10:44 GMT | |
| calc/ | Thu, 01 Sep 2022 12:19:27 GMT | |
| cgal/ | Sun, 04 Feb 2024 19:27:05 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/ | Thu, 27 Jan 2022 10:30:36 GMT | |
| gimps/ | Sat, 31 Aug 2024 21:41:28 GMT | |
| ginac/ | Thu, 06 Jun 2024 05:20:38 GMT | |
| glpk/ | Tue, 28 Nov 2023 17:44:33 GMT | |
| gmm/ | Tue, 29 Oct 2024 11:51:30 GMT | |
| gmp-ecm/ | Mon, 21 Nov 2022 20:56:25 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/ | Tue, 16 Jul 2024 13:15:16 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/ | Fri, 10 Jul 2020 16:26:34 GMT | |
| unuran/ | Tue, 13 Jun 2023 15:45:17 GMT | |
| wxmaxima/ | Fri, 22 Mar 2024 11:19:36 GMT | |
| z3/ | Mon, 21 Oct 2024 10:47:22 GMT | |
| alt-ergo/ | Sat, 20 Jul 2024 09:06:12 GMT | |
| coq/ | Fri, 04 Oct 2024 10:20:10 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/ | Mon, 22 Jan 2024 10:21:02 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/ | Mon, 18 Dec 2023 11:59:00 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/ | Fri, 07 Jun 2024 08:21:50 GMT | |
| octave/ | Tue, 03 Sep 2024 12:02:29 GMT |