Skip to content
@celabshq

CE Labs

Cryptography Engineering Labs

Pinned Loading

  1. libcrux libcrux Public

    The formally verified crypto library for Rust

    C 260 58

  2. libcrux-iot libcrux-iot Public

    An IoT friendly, formally verified, crypto library based on libcrux

    C 7 4

  3. rustls-libcrux rustls-libcrux Public

    Crypto provider for Rustls backed by libcrux

    Rust 5 1

Repositories

Showing 10 of 18 repositories
  • libcrux Public

    The formally verified crypto library for Rust

    celabshq/libcrux's past year of commit activity
    C 260 Apache-2.0 58 89 30 Updated Sep 11, 2026
  • embedded-cal Public Forked from lake-rs/embedded-cal

    A Cryptographic Abstraction Layer (CAL) for embedded systems

    celabshq/embedded-cal's past year of commit activity
    Rust 0 4 0 0 Updated Sep 10, 2026
  • libcrux-iot Public

    An IoT friendly, formally verified, crypto library based on libcrux

    celabshq/libcrux-iot's past year of commit activity
    C 7 AGPL-3.0 4 29 11 Updated Sep 10, 2026
  • rustls-libcrux Public

    Crypto provider for Rustls backed by libcrux

    celabshq/rustls-libcrux's past year of commit activity
    Rust 5 1 0 0 Updated Sep 9, 2026
  • celabs.github.io Public

    Website

    celabshq/celabs.github.io's past year of commit activity
    CSS 0 0 0 0 Updated Aug 28, 2026
  • assignments Public
    celabshq/assignments's past year of commit activity
    Rust 1 1 0 0 Updated Aug 17, 2026
  • rc-formats Public Forked from RustCrypto/formats

    Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX

    celabshq/rc-formats's past year of commit activity
    Rust 0 193 0 0 Updated Aug 10, 2026
  • hpke-rs Public

    Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)

    celabshq/hpke-rs's past year of commit activity
    Rust 55 31 3 2 Updated Jul 21, 2026
  • advisory-db Public Forked from rustsec/advisory-db

    Security advisory database for Rust crates published through crates.io

    celabshq/advisory-db's past year of commit activity
    0 556 0 0 Updated Jul 16, 2026
  • duvet Public Forked from awslabs/duvet

    A requirements traceability tool

    celabshq/duvet's past year of commit activity
    Rust 0 Apache-2.0 23 0 0 Updated Jul 15, 2026
View all repositories

Most used topics

Loading…