| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| calc/ | - | 2025-Apr-24 16:33 |
| clipper2/ | - | 2026-Jan-10 13:15 |
| cliquer/ | - | 2025-Dec-11 14:13 |
| coq/ | - | 2026-Mar-11 11:54 |
| coq-stdlib/ | - | 2026-Mar-11 11:54 |
| ent/ | - | 2025-Nov-30 17:02 |
| euler/ | - | 2025-Jul-02 00:28 |
| gap/ | - | 2025-Nov-06 02:33 |
| genius/ | - | 2026-Mar-06 13:38 |
| glpk/ | - | 2026-Mar-21 16:47 |
| gmm/ | - | 2025-Jul-03 16:01 |
| gmp-ecm/ | - | 2025-Dec-11 14:13 |
| gp2c/ | - | 2025-Jan-27 18:20 |
| jags/ | - | 2025-Jan-21 13:49 |
| lpsolve/ | - | 2026-Mar-16 09:16 |
| lrcalc/ | - | 2025-Jul-27 14:15 |
| manifold/ | - | 2026-Jan-10 13:15 |
| maxima/ | - | 2026-Feb-06 14:26 |
| nauty/ | - | 2025-Dec-11 14:13 |
| octave/ | - | 2026-Mar-21 16:47 |
| pari/ | - | 2026-Feb-09 14:32 |
| primesieve/ | - | 2026-Mar-02 22:50 |
| pspp/ | - | 2025-Dec-28 18:36 |
| rngstreams/ | - | 2024-Oct-09 13:11 |
| rw/ | - | 2025-Feb-19 13:44 |
| sympow/ | - | 2025-Jun-03 13:15 |
| z3/ | - | 2026-Mar-29 17:35 |