Skip to content
@hacspec

hacspec

Popular repositories Loading

  1. hacspec hacspec Public archive

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

    Coq 242 41

  2. hacspec-python hacspec-python Public

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

    Python 46 8

  3. rust-secret-integers rust-secret-integers Public

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

    Rust 22 2

  4. hacspecs-rust hacspecs-rust Public archive

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

    Rust 3 3

  5. hacspec-curve25519 hacspec-curve25519 Public

    hacspec example - curve25519

    Rust 2

  6. book book Public

    The hacspec book

    HTML 2 6

Repositories

Showing 10 of 16 repositories
  • hax-actions Public

    GitHub actions around hax

    hacspec/hax-actions’s past year of commit activity
    0 0 0 0 Updated Jan 23, 2025
  • hacspec.github.io Public

    website for hacspec

    hacspec/hacspec.github.io’s past year of commit activity
    1 2 0 1 Updated Jan 21, 2025
  • blog Public

    hacspec blog

    hacspec/blog’s past year of commit activity
    HTML 0 1 0 1 Updated Jan 21, 2025
  • book Public

    The hacspec book

    hacspec/book’s past year of commit activity
    HTML 2 6 0 1 Updated Jan 13, 2025
  • specs Public

    Specifications written in hacspec

    hacspec/specs’s past year of commit activity
    Rust 1 Apache-2.0 7 3 (2 issues need help) 7 Updated Jul 4, 2024
  • hacspec Public archive

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

    hacspec/hacspec’s past year of commit activity
    Coq 242 MIT 41 80 (3 issues need help) 16 Updated Feb 12, 2024
  • creusot Public Forked from creusot-rs/creusot

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

    hacspec/creusot’s past year of commit activity
    Rust 0 LGPL-2.1 51 0 0 Updated Mar 27, 2023
  • hacspec-curve25519 Public

    hacspec example - curve25519

    hacspec/hacspec-curve25519’s past year of commit activity
    Rust 2 0 0 0 Updated Dec 27, 2020
  • hacspec-python Public

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

    hacspec/hacspec-python’s past year of commit activity
    Python 46 8 11 1 Updated Nov 11, 2020
  • hacs-sept-2020-demo Public

    Demo material for the HACS workshop in September 2020

    hacspec/hacs-sept-2020-demo’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 24, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…