Skip to content

hax

hax is a tool for high assurance translations of a large subset of Rust into formal languages such as F* or Rocq.

Head over to the Manual or the playground to get started!

hax overview

Playground

Try out hax in the browser on the playground.

Playground screenshot

Community

Join the hax community on our Zulip chat.