Results for easycrypt

The easyest cryptography modle with AES

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

hax cli options

hax cli options engine helper crate

hax diagnostics helper crate

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.

The engine of the hax toolchain.

This crate provides helpers procedural macros for the `hax-rust-engine`

The high assurance translation toolchain