cryspen/hax
A Rust verification tool
481 stars70forks228issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
9 of 10outside PRs merged (90%)
checked
cryspen/hax
A Rust verification tool
Outside contributors get real replies here, and their work gets merged.
9 of 10outside PRs merged (90%)
checked
Where newcomer work lands
The evidence