pereq-dev

pereq-dev/hax

A Rust verification tool

3 good first / help-wanted issues · Rust · last activity Oct 22, 2026

488 stars 70 forks 488 watchers Rust Apache License 2.0

formal-verification rust

View on GitHub Website

3 Open Issues Need Help Last updated: Oct 22, 2026

Open Issues Need Help

View All on GitHub

`while let .. = .. {}` 5 days ago

help wanted good first issue engine unsupported-rust keep-open

488

A Rust verification tool

Rust

#formal-verification#rust

`loop {...}` (when not a `for` or `while`) 5 days ago

good first issue engine backend unsupported-rust keep-open

488

A Rust verification tool

Rust

#formal-verification#rust

When hax-engine's fails to parse stdin, make nicer error message 5 days ago

good first issue engine cli

488

A Rust verification tool

Rust

#formal-verification#rust