hacspec/book hacspec/book

  • Stars
    star
    2
  • Language
    HTML
  • Created over 3 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hacspec/book
github

hacspec

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The hacspec book

More Repositories

1

hacspec

Please see https://github.com/hacspec/hax
Coq
243
star
2

hax

A Rust verification tool
OCaml
179
star
3

hacspec-python

Please check out https://github.com/hacspec/hacspec for more information on hacspec
Python
46
star
4

rust-secret-integers

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

hacspecs-rust

DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
Rust
3
star
6

hacspec-curve25519

hacspec example - curve25519
Rust
2
star
7

hacspec.github.io

website for hacspec
1
star
8

hacs-sept-2020-demo

Demo material for the HACS workshop in September 2020
Rust
1
star
9

specs

Specifications written in hacspec
Rust
1
star
10

rust-abstract-integers

Rust
1
star
11

hacspec-rust

DEPRECATED (will be archived); Use https://github.com/hacspec/hacspec
Rust
1
star
12

mls-protospec

Rust
1
star