| Filename | Size | Last Modified |
| 4ti2/ | Mon, 21 Jun 2021 07:10:44 GMT | |
| arb/ | Mon, 19 Dec 2022 22:08:40 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/ | Tue, 20 Jun 2023 13:17:20 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/ | Fri, 13 Jan 2023 18:25:27 GMT | |
| ginac/ | Mon, 18 Dec 2023 11:59:28 GMT | |
| glpk/ | Tue, 28 Nov 2023 17:44:33 GMT | |
| gmm/ | Mon, 19 Sep 2022 13:20:35 GMT | |
| gmp-ecm/ | Mon, 21 Nov 2022 20:56:25 GMT | |
| gp2c/ | Tue, 07 Dec 2021 16:25:25 GMT | |
| jags/ | Tue, 13 Jun 2023 15:45:17 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, 23 Apr 2024 11:09:24 GMT | |
| nauty/ | Mon, 22 Jan 2024 10:21:02 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 Jan 2024 11:41:09 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/ | Tue, 26 Mar 2024 11:30:56 GMT | |
| alt-ergo/ | Sun, 20 Aug 2023 07:44:59 GMT | |
| coq/ | Wed, 28 Feb 2024 12:04:46 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/ | Tue, 31 Jan 2023 11:26:08 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/ | Sat, 11 May 2024 13:48:10 GMT |