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* 127 4

  2. libcrux libcrux Public

    The formally verified crypto library for Rust

    C 184 30

  3. hax hax Public

    A Rust verification tool

    OCaml 346 42

  4. hpke-rs hpke-rs Public

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

    Rust 42 20

Repositories

Showing 10 of 42 repositories
  • libcrux Public

    The formally verified crypto library for Rust

    cryspen/libcrux’s past year of commit activity
    C 184 Apache-2.0 30 62 15 Updated Dec 1, 2025
  • hax Public

    A Rust verification tool

    cryspen/hax’s past year of commit activity
    OCaml 346 Apache-2.0 42 206 (3 issues need help) 9 Updated Dec 1, 2025
  • hpke-rs Public

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

    cryspen/hpke-rs’s past year of commit activity
    Rust 42 20 4 (1 issue needs help) 0 Updated Dec 1, 2025
  • boringssl Public Forked from google/boringssl

    Mirror of BoringSSL

    cryspen/boringssl’s past year of commit activity
    C++ 0 874 0 2 Updated Nov 26, 2025
  • libcrux-iot Public

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

    cryspen/libcrux-iot’s past year of commit activity
    Rust 4 AGPL-3.0 2 27 6 Updated Nov 25, 2025
  • rust-gcd Public Forked from frewsxcv/rust-gcd

    Small Rust library for calculating greatest common divisor

    cryspen/rust-gcd’s past year of commit activity
    Rust 0 Apache-2.0 10 0 0 Updated Nov 20, 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 2 2 Updated Nov 18, 2025
  • benchmark-data-extract-transform Public

    GitHub Action for continuous benchmarking to keep performance

    cryspen/benchmark-data-extract-transform’s past year of commit activity
    TypeScript 0 MIT 0 0 1 Updated Nov 18, 2025
  • cryspen.github.io Public
    cryspen/cryspen.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Nov 17, 2025
  • atlas Public

    BMBF ATLAS project

    cryspen/atlas’s past year of commit activity
    Rust 5 Apache-2.0 1 5 3 Updated Nov 10, 2025
View all repositories