hacspec/hax hacspec/hax

  • Stars
    star
    179
  • Rank 214,039 (Top 5 %)
  • Language
    OCaml
  • License
    Apache License 2.0
  • Created almost 2 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hacspec/hax
github

hacspec

Reviews

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

Repository Details

A Rust verification tool

More Repositories

1

hacspec

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

hacspec-python

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

rust-secret-integers

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

hacspecs-rust

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

book

The hacspec book
HTML
2
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