@hacspec
Guthub

hacspec

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    489
  • Global Org. Rank 24,198 (Top 8 %)
  • Registered about 6 years ago
  • Most used languages
    Rust
         66.7 %
    Python
         8.3 %
    OCaml
         8.3 %
    Coq     8.3 %
    HTML
         8.3 %

Top 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
13

mls-protospec

Rust
1
star