Skip to content
@cryspen

Cryspen

High Assurance Software & Tools
README.md

Cryspen

Our mission is to provide services and software for high assurance software 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. bertie bertie Public

    Bertie TLS 1.3 Implementation

    F* 118 4

  2. libcrux libcrux Public

    The formally verified crypto library for Rust

    C 116 17

  3. hax hax Public

    A Rust verification tool

    OCaml 246 22

  4. hpke-rs hpke-rs Public

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

    Rust 34 17

Repositories

Showing 10 of 37 repositories
  • libcrux-iot Public

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

    cryspen/libcrux-iot’s past year of commit activity
    Rust 2 AGPL-3.0 1 33 7 Updated Apr 9, 2025
  • hax Public

    A Rust verification tool

    cryspen/hax’s past year of commit activity
    OCaml 246 Apache-2.0 22 169 (3 issues need help) 11 Updated Apr 9, 2025
  • libcrux Public

    The formally verified crypto library for Rust

    cryspen/libcrux’s past year of commit activity
    C 116 Apache-2.0 17 64 (3 issues need help) 13 Updated Apr 9, 2025
  • benchmark-upload-and-plot-action Public

    GitHub Action for continuous benchmarking to keep performance

    cryspen/benchmark-upload-and-plot-action’s past year of commit activity
    TypeScript 0 MIT 0 0 1 Updated Apr 9, 2025
  • hacl-packages Public

    The Cryspen HACL Distribution

    cryspen/hacl-packages’s past year of commit activity
    C 17 18 60 (1 issue needs help) 5 Updated Apr 9, 2025
  • ci-test Public
    cryspen/ci-test’s past year of commit activity
    0 0 0 1 Updated Apr 9, 2025
  • bertie Public

    Bertie TLS 1.3 Implementation

    cryspen/bertie’s past year of commit activity
    F* 118 Apache-2.0 4 29 4 Updated Apr 9, 2025
  • pqm4 Public Forked from mupq/pqm4

    Post-quantum crypto library for the ARM Cortex-M4

    cryspen/pqm4’s past year of commit activity
    C 0 83 0 0 Updated Apr 8, 2025
  • mupq Public Forked from mupq/mupq

    Provides common files for instances of mupq, e.g., for pqm4 and pqriscv

    cryspen/mupq’s past year of commit activity
    C 0 25 0 0 Updated Apr 8, 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 1 Updated Apr 8, 2025
View all repositories