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