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