| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 4ti2/ | - | 28-Sep-2026 09:10 |
| alt-ergo/ | - | 02-Oct-2026 15:55 |
| cadical/ | - | 28-May-2025 15:32 |
| calc/ | - | 28-May-2025 15:32 |
| cgal/ | - | 21-Sep-2026 08:53 |
| clipper2/ | - | 16-Sep-2026 13:50 |
| cliquer/ | - | 28-May-2025 15:33 |
| coq/ | - | 30-Sep-2026 14:13 |
| coq-stdlib/ | - | 23-Feb-2026 20:10 |
| ent/ | - | 28-May-2025 15:33 |
| euler/ | - | 28-May-2025 15:33 |
| flint/ | - | 09-Jun-2026 22:11 |
| frobby/ | - | 28-May-2025 15:33 |
| gap/ | - | 08-May-2026 20:39 |
| genius/ | - | 04-May-2026 13:09 |
| gfan/ | - | 21-Jan-2026 13:29 |
| gimps/ | - | 28-May-2025 15:33 |
| ginac/ | - | 09-Jun-2026 22:11 |
| glpk/ | - | 04-Jun-2026 19:47 |
| gmm/ | - | 28-May-2025 15:34 |
| gmp-ecm/ | - | 28-May-2025 15:34 |
| gp2c/ | - | 28-May-2025 15:34 |
| highs/ | - | 13-Jul-2026 05:54 |
| jags/ | - | 28-May-2025 15:34 |
| lcalc/ | - | 02-Mar-2026 09:48 |
| lean/ | - | 09-Jun-2026 22:10 |
| lpsolve/ | - | 04-Jun-2026 19:47 |
| lrcalc/ | - | 28-May-2025 15:34 |
| manifold/ | - | 08-Sep-2026 17:17 |
| mathomatic/ | - | 28-May-2025 15:35 |
| maxima/ | - | 08-Sep-2026 17:17 |
| nauty/ | - | 06-Nov-2025 07:59 |
| normaliz/ | - | 28-May-2025 15:35 |
| num-utils/ | - | 28-May-2025 15:35 |
| octave/ | - | 06-Nov-2025 07:59 |
| otter/ | - | 28-May-2025 15:35 |
| palp/ | - | 28-May-2025 15:35 |
| pari/ | - | 04-Jun-2026 19:47 |
| pari-data/ | - | 28-May-2025 15:35 |
| picosat/ | - | 28-May-2025 15:35 |
| planarity/ | - | 24-Jun-2025 13:06 |
| plfit/ | - | 21-Jan-2026 13:29 |
| primecount/ | - | 13-May-2026 18:23 |
| primesieve/ | - | 28-May-2025 15:35 |
| prng/ | - | 15-Sep-2025 21:17 |
| psmt2-frontend/ | - | 30-Sep-2026 14:13 |
| pspp/ | - | 06-Nov-2025 07:59 |
| rngstreams/ | - | 28-May-2025 15:35 |
| rw/ | - | 28-May-2025 15:35 |
| singular/ | - | 09-Jun-2026 22:10 |
| smtinterpol/ | - | 28-May-2025 15:36 |
| sympow/ | - | 28-May-2025 15:36 |
| unuran/ | - | 28-May-2025 15:36 |
| wxmaxima/ | - | 16-Oct-2025 11:16 |
| z3/ | - | 21-Sep-2026 08:53 |