David Safranek
| name | David Safranek |
| Crates.io: | xsafran1 |
| GitHub user: | xsafran1 |
| name | repo |
|---|
Crates
| name | update at | owner | repo | count | CI | fmt |
|---|---|---|---|---|---|---|
| biodivine-hctl-model-checker | 2024-11-07 18:20:10.046884 | Ondřej Huvar | repo | 260 | GitHub Action | fmt |
| biodivine-lib-param-bn | 2024-10-26 08:43:00.158785 | David Safranek | repo | 285 | GitHub Action | fmt |
| biodivine-lib-bdd | 2024-09-24 10:52:18.153641 | David Safranek | repo | 257 | GitHub Action | fmt |
| biodivine-pbn-control | 2023-12-19 16:41:18.259654 | David Safranek | NA | NA | NA | fmt |