Skip to content
@cryspen

Cryspen

High Assurance Software & Tools

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 106 17

  3. hax hax Public

    A Rust verification tool

    OCaml 229 22

  4. hpke-rs hpke-rs Public

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

    Rust 33 16

Repositories

Showing 10 of 34 repositories
  • libcrux Public

    The formally verified crypto library for Rust

    cryspen/libcrux’s past year of commit activity
    C 106 Apache-2.0 17 74 (5 issues need help) 7 Updated Feb 24, 2025
  • bertie Public

    Bertie TLS 1.3 Implementation

    cryspen/bertie’s past year of commit activity
    F* 118 Apache-2.0 4 30 2 Updated Feb 24, 2025
  • hax Public

    A Rust verification tool

    cryspen/hax’s past year of commit activity
    OCaml 229 Apache-2.0 22 191 (4 issues need help) 12 Updated Feb 24, 2025
  • hacl-packages Public

    The Cryspen HACL Distribution

    cryspen/hacl-packages’s past year of commit activity
    C 16 17 60 (1 issue needs help) 5 Updated Feb 23, 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 27 2 Updated Feb 21, 2025
  • model-nursery Public

    Models of Code

    cryspen/model-nursery’s past year of commit activity
    0 0 0 0 Updated Feb 19, 2025
  • cryspen/cryspen.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Feb 10, 2025
  • rustls Public Forked from rustls/rustls

    A modern TLS library in Rust

    cryspen/rustls’s past year of commit activity
    Rust 0 703 0 2 Updated Feb 3, 2025
  • sandwich Public
    cryspen/sandwich’s past year of commit activity
    Rust 1 AGPL-3.0 0 0 2 Updated Feb 3, 2025
  • .github Public
    cryspen/.github’s past year of commit activity
    0 0 0 0 Updated Jan 28, 2025

Top languages

Loading…

Most used topics

Loading…