Eva Šmijáková
| name | Eva Šmijáková |
| Crates.io: | smijeva |
| GitHub user: | smijeva |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| biodivine-lib-param-bn | 2026-01-08 16:20:04.408187+00 | David Safranek | repo | 356 | GitHub Action | fmt |
| biodivine-hctl-model-checker | 2026-01-08 11:03:44.478457+00 | Ondřej Huvar | repo | 275 | GitHub Action | fmt |
| biodivine-lib-bdd | 2025-09-25 17:16:28.974475+00 | David Safranek | repo | 320 | GitHub Action | fmt |
| biodivine-pbn-control | 2023-12-19 16:41:18.259654+00 | David Safranek | NA | NA | NA | fmt |