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