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