Pinned Repositories
book
The hacspec book
hacspec
Please see https://github.com/hacspec/hax
hacspec-curve25519
hacspec example - curve25519
hacspec-python
Please check out https://github.com/hacspec/hacspec for more information on hacspec
hacspec-rust
DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
hacspec.github.io
website for hacspec
hacspecs-rust
DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
hax-actions
GitHub actions around hax
rust-secret-integers
Wrappers around Rust's integer to check for constant-time-compatible usage
specs
Specifications written in hacspec
hacspec's Repositories
hacspec/hacspec
Please see https://github.com/hacspec/hax
hacspec/hacspec-python
Please check out https://github.com/hacspec/hacspec for more information on hacspec
hacspec/rust-secret-integers
Wrappers around Rust's integer to check for constant-time-compatible usage
hacspec/hacspecs-rust
DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
hacspec/book
The hacspec book
hacspec/hacspec-curve25519
hacspec example - curve25519
hacspec/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
hacspec/hacs-sept-2020-demo
Demo material for the HACS workshop in September 2020
hacspec/hacspec-rust
DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
hacspec/hacspec.github.io
website for hacspec
hacspec/mls-protospec
hacspec/specs
Specifications written in hacspec
hacspec/blog
hacspec blog
hacspec/hax-actions
GitHub actions around hax
hacspec/rust-abstract-integers
hacspec/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code