hacspec

Results 4 repositories owned by


                                            hacspec

242

Stars

Forks

Watchers

Please see https://github.com/hacspec/hax

Stars

Forks

Watchers

Wrappers around Rust's integer to check for constant-time-compatible usage

141

Stars

Forks

Watchers

A Rust verification tool

Stars

Forks

Watchers

Please check out https://github.com/hacspec/hacspec for more information on hacspec