verus_syn is used at run time in 10 crates. It is a direct run-time dependency in 3 crates.
| Number of dependers | verus_syn version | Downloads/month |
|---|---|---|
| 7 | 0.0.0-2026-02-24-1505 | 3.2K |
| 2 | 0.0.0-2026-02-15-0106 | 170 |
| 0 | 0.0.0-2026-01-25-0057 | 8.7K |
| 1 | 0.0.0-2025-11-16-0050 | 1.0K |
| Depender (with downloads and own rev deps) | verus_syn version | |||
|---|---|---|---|---|
| 12K | 1 | verus_builtin_macros | =0.0.0-2026-02-24-1505 | |
| 12K | 1 | verus_prettyplease | =0.0.0-2026-02-24-1505 | |
| 12K | verus_state_machines_macros | =0.0.0-2026-02-24-1505 | ||