| name | Maarten Flippo |
| Crates.io: | maartenflippo |
| GitHub user: | maartenflippo |
| name | repo |
|---|
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| pumpkin-solver | 2025-07-10 14:07:39.12198+00 | Pumpkin Core Developers | repo | 400 | GitHub Action | fmt |
| pumpkin-core | 2025-07-10 14:05:03.699379+00 | Maarten Flippo | repo | 400 | GitHub Action | fmt |
| drcp-format | 2025-07-10 13:33:14.928196+00 | Pumpkin Core Developers | repo | 400 | GitHub Action | fmt |
| dzn-rs | 2025-01-26 19:33:54.568385+00 | Maarten Flippo | repo | 29 | GitHub Action | fmt |