hacspec/hax-actions

GitHub actions around hax

Size: 22.5 KB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

hacspec/hacspec 📦

Please see https://github.com/hacspec/hax

Language: Coq - Size: 131 MB - Last synced at: about 20 hours ago - Pushed at: over 1 year ago - Stars: 244 - Forks: 42

hacspec/blog

hacspec blog

Language: HTML - Size: 4.98 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 1

hacspec/hacspec.github.io

website for hacspec

Size: 1.12 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 2

hacspec/book

The hacspec book

Language: HTML - Size: 1.77 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 6

hacspec/hacspec-python

Please check out https://github.com/hacspec/hacspec for more information on hacspec

Language: Python - Size: 5.72 MB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 46 - Forks: 8

hacspec/specs

Specifications written in hacspec

Language: Rust - Size: 3.37 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 5

hacspec/rust-clippy Fork of rust-lang/rust-clippy 📦

A bunch of lints to catch common mistakes and improve your Rust code

Language: Rust - Size: 21.5 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

hacspec/rust-secret-integers

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

Language: Rust - Size: 31.3 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 18 - Forks: 3

hacspec/rust-abstract-integers

Language: Rust - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

hacspec/hacspecs-rust 📦

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

Language: Rust - Size: 1.89 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 3

hacspec/hacspec-rust 📦

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

Language: Rust - Size: 10.5 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 2

hacspec/mls-protospec 📦

Language: Rust - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

hacspec/hacspec-curve25519

hacspec example - curve25519

Language: Rust - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

hacspec/hacs-sept-2020-demo

Demo material for the HACS workshop in September 2020

Language: Rust - Size: 3.36 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0