A POSIX sh-compatible shell written in Rust
The first compiled Unix shell — bytecode VM, worker pool, AOP intercept, Rkyv caching
hax cli options
hax cli options engine helper crate
hax diagnostics helper crate
The high assurance translation toolchain
The high assurance translation toolchain
Provides the `adt_into` procedural macro, allowing for mirroring data types with small variations.
Newtypes for working with bounded integers with hax
The custom rustc driver used by hax.
Provides mirrors of the algebraic data types used in the Rust compilers, removing indirections and inlining various pieces of information.
The options the `hax-frontend-exporter` crate is sensible to.