hacspec/mls-protospec hacspec/mls-protospec

  • This repository has been archived on 18/Feb/2022
  • Stars
    star
    1
  • Language
    Rust
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hacspec/mls-protospec
github

hacspec

Reviews

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

Repository Details

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

book

The hacspec book
HTML
2
star
7

hacspec-curve25519

hacspec example - curve25519
Rust
2
star
8

hacspec.github.io

website for hacspec
1
star
9

hacs-sept-2020-demo

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

specs

Specifications written in hacspec
Rust
1
star
11

rust-abstract-integers

Rust
1
star
12

hacspec-rust

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