Repositories list

• hax

  Public
  A Rust verification tool

  formal-verificationrust

  OCaml

  •

  Apache License 2.0

  •20•186•190•22•Updated Oct 31, 2024Oct 31, 2024

• book

  Public
  The hacspec book

  HTML

  •6•2•0•1•Updated Oct 30, 2024Oct 30, 2024

• hacspec.github.io

  Public
  website for hax & hacspec

  2•0•0•0•Updated Oct 14, 2024Oct 14, 2024

• blog

  Public
  hacspec blog

  HTML

  •1•0•0•0•Updated Oct 1, 2024Oct 1, 2024

• specs

  Public
  Specifications written in hacspec

  cryptographyspecification

  Rust

  •

  Apache License 2.0

  •7•1•3•7•Updated Jul 4, 2024Jul 4, 2024

• hax-actions

  Public
  GitHub actions around hax

  0•0•0•0•Updated Feb 28, 2024Feb 28, 2024

• hacspec

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

  cryptographyspecificationsformal-verification

  Coq

  •

  MIT License

  •42•243•80•16•Updated Feb 12, 2024Feb 12, 2024

• creusot

  Public
  deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

  Rust

  •

  GNU Lesser General Public License v2.1

  •50•0•0•0•Updated Mar 27, 2023Mar 27, 2023

• hacspec-curve25519

  Public
  hacspec example - curve25519

  Rust

  •0•2•0•0•Updated Dec 27, 2020Dec 27, 2020

• hacspec-python

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

  Python

  •8•46•11•1•Updated Nov 11, 2020Nov 11, 2020

• hacs-sept-2020-demo

  Public
  Demo material for the HACS workshop in September 2020

  Rust

  •0•0•0•0•Updated Sep 24, 2020Sep 24, 2020

• mls-protospec

  Public archive
  Rust

  •0•0•0•0•Updated Sep 16, 2020Sep 16, 2020

• rust-clippy

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

  Rust

  •

  Other

  •1.5k•0•0•0•Updated Apr 27, 2020Apr 27, 2020

• hacspec-rust

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

  cryptographyspecificationsformal-verification+ 1rust

  Rust

  •2•1•0•0•Updated Mar 31, 2020Mar 31, 2020

• rust-secret-integers

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

  Rust

  •

  Other

  •3•22•1•0•Updated Mar 13, 2020Mar 13, 2020

• hacspecs-rust

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

  cryptographyspecificationsformal-verification

  Rust

  •3•3•0•0•Updated Mar 13, 2020Mar 13, 2020

• rust-abstract-integers

  Public
  Rust

  •

  Other

  •1•0•0•0•Updated Feb 26, 2020Feb 26, 2020