Matthias Petri
| name | Matthias Petri |
| Crates.io: | mpetri |
| GitHub user: | mpetri |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| range_minimum_query | 2024-10-02 03:48:23.565407 | Matthias Petri | repo | 7 | NA | fmt |
| rlz | 2022-09-12 04:39:02.240392 | Matthias Petri | repo | 13 | NA | fmt |
| rank_biased_centroids | 2022-09-08 22:53:07.115473 | Matthias Petri | repo | 8 | NA | fmt |
| rbo | 2022-08-16 02:35:00.939325 | Matthias Petri | repo | 14 | NA | fmt |
| kaminpar | 2022-08-08 19:38:26.425809 | Matthias Petri | repo | 3 | NA | fmt |
| streamvbyte | 2020-08-30 05:09:28.13808 | Matthias Petri | repo | 5 | NA | fmt |
| streamvbyte-sys | 2020-08-30 05:05:05.104047 | Matthias Petri | repo | 2 | NA | fmt |