| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📁 4ti2/ | - | 2026-09-28 09:10:24 |
| 📁 alt-ergo/ | - | 2026-09-30 14:13:14 |
| 📁 cadical/ | - | 2025-02-20 18:26:50 |
| 📁 calc/ | - | 2023-05-03 12:58:00 |
| 📁 cgal/ | - | 2026-09-21 08:53:46 |
| 📁 clipper2/ | - | 2026-09-16 13:50:36 |
| 📁 cliquer/ | - | 2023-05-03 12:57:59 |
| 📁 coq/ | - | 2026-09-30 14:13:14 |
| 📁 coq-stdlib/ | - | 2026-02-23 20:10:44 |
| 📁 ent/ | - | 2023-06-01 14:09:14 |
| 📁 euler/ | - | 2023-05-03 12:58:01 |
| 📁 flint/ | - | 2026-06-09 22:11:04 |
| 📁 frobby/ | - | 2023-05-03 12:58:00 |
| 📁 gap/ | - | 2026-05-08 20:39:34 |
| 📁 genius/ | - | 2026-05-04 13:09:19 |
| 📁 gfan/ | - | 2026-01-21 13:29:38 |
| 📁 gimps/ | - | 2024-08-31 21:41:03 |
| 📁 ginac/ | - | 2026-06-09 22:11:00 |
| 📁 glpk/ | - | 2026-06-04 19:47:48 |
| 📁 gmm/ | - | 2024-10-29 11:51:03 |
| 📁 gmp-ecm/ | - | 2025-04-21 18:39:38 |
| 📁 gp2c/ | - | 2023-05-03 12:58:01 |
| 📁 highs/ | - | 2026-07-13 05:54:23 |
| 📁 jags/ | - | 2024-08-07 08:02:12 |
| 📁 lcalc/ | - | 2026-03-02 09:48:15 |
| 📁 lean/ | - | 2026-06-09 22:10:59 |
| 📁 lpsolve/ | - | 2026-06-04 19:47:45 |
| 📁 lrcalc/ | - | 2023-11-19 07:35:54 |
| 📁 manifold/ | - | 2026-09-08 17:17:43 |
| 📁 mathomatic/ | - | 2023-05-03 12:58:00 |
| 📁 maxima/ | - | 2026-09-08 17:17:49 |
| 📁 nauty/ | - | 2025-11-06 07:59:41 |
| 📁 normaliz/ | - | 2023-12-18 11:59:00 |
| 📁 num-utils/ | - | 2023-05-03 12:58:00 |
| 📁 octave/ | - | 2025-11-06 07:59:43 |
| 📁 otter/ | - | 2023-05-03 12:58:00 |
| 📁 palp/ | - | 2024-06-07 08:21:50 |
| 📁 pari/ | - | 2026-06-04 19:47:51 |
| 📁 pari-data/ | - | 2023-05-03 12:58:00 |
| 📁 picosat/ | - | 2023-05-03 12:58:00 |
| 📁 planarity/ | - | 2025-06-24 13:06:33 |
| 📁 plfit/ | - | 2026-01-21 13:29:39 |
| 📁 primecount/ | - | 2026-05-13 18:23:23 |
| 📁 primesieve/ | - | 2025-05-03 08:06:43 |
| 📁 prng/ | - | 2025-09-15 21:17:54 |
| 📁 psmt2-frontend/ | - | 2026-09-30 14:13:13 |
| 📁 pspp/ | - | 2025-11-06 07:59:42 |
| 📁 rngstreams/ | - | 2023-05-03 12:58:00 |
| 📁 rw/ | - | 2023-05-03 12:58:01 |
| 📁 singular/ | - | 2026-06-09 22:10:59 |
| 📁 smtinterpol/ | - | 2024-10-04 10:19:49 |
| 📁 sympow/ | - | 2024-12-23 15:11:04 |
| 📁 unuran/ | - | 2023-06-13 15:44:47 |
| 📁 wxmaxima/ | - | 2025-10-16 11:16:19 |
| 📁 z3/ | - | 2026-09-21 08:53:46 |