Skip to content
@cryspen

Cryspen

High Assurance Software & Tools
README.md

Cryspen

Our mission is to provide services and software for high assurance cryptography in order to establish trust into your critical systems.

Software & Tools

  • libcrux - the formally verified crypto library
  • OpenMLS (Github) - a Rust implementation of MLS
  • hax - a framework to write formally verifiable Rust (specifications and code)

Pinned Loading

  1. hacl-packages hacl-packages Public

    The Cryspen HACL Distribution

    C 16 18

  2. hpke-spec hpke-spec Public

    Annotated HPKE specification in hacspec

    Rust 3 3

  3. bertie bertie Public

    Bertie TLS 1.3 Implementation

    F* 116 2

Repositories

Showing 10 of 33 repositories
  • libcrux Public

    The formally verified crypto library for Rust

    cryspen/libcrux’s past year of commit activity
    C 97 Apache-2.0 17 56 (5 issues need help) 5 Updated Jan 18, 2025
  • bertie Public

    Bertie TLS 1.3 Implementation

    cryspen/bertie’s past year of commit activity
    F* 116 Apache-2.0 2 28 1 Updated Jan 18, 2025
  • hacl-packages Public

    The Cryspen HACL Distribution

    cryspen/hacl-packages’s past year of commit activity
    C 16 18 60 (1 issue needs help) 5 Updated Jan 17, 2025
  • hax Public

    A Rust verification tool

    cryspen/hax’s past year of commit activity
    OCaml 214 Apache-2.0 22 196 (4 issues need help) 21 Updated Jan 17, 2025
  • libcrux-iot Public

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

    cryspen/libcrux-iot’s past year of commit activity
    Rust 1 AGPL-3.0 1 23 1 Updated Jan 14, 2025
  • rosenpass Public Forked from rosenpass/rosenpass

    Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

    cryspen/rosenpass’s past year of commit activity
    Rust 0 Apache-2.0 93 0 0 Updated Jan 14, 2025
  • sandwich Public
    cryspen/sandwich’s past year of commit activity
    Rust 1 AGPL-3.0 0 0 2 Updated Jan 8, 2025
  • verify-rust-std Public Forked from model-checking/verify-rust-std

    Verifying the Rust standard library

    cryspen/verify-rust-std’s past year of commit activity
    Rust 0 13,587 0 0 Updated Jan 8, 2025
  • cryspen.github.io Public
    cryspen/cryspen.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 19, 2024
  • rustls-libcrux Public

    Crypto provider for Rustls backed by libcrux

    cryspen/rustls-libcrux’s past year of commit activity
    Rust 1 0 1 0 Updated Dec 18, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…