Skip to content

@cryspen Cryspen

Change the repository type filter

All

    Repositories list

    31 repositories

    • libcrux

      Public
      The formally verified crypto library for Rust
      cryptographyencryptionsignaturesformal-verification
      C
      •
      Apache License 2.0
      •15•90•48•11•Updated Nov 29, 2024Nov 29, 2024

    • bertie

      Public
      Bertie TLS 1.3 Implementation
      F*
      •
      Apache License 2.0
      •3•112•27•0•Updated Nov 29, 2024Nov 29, 2024

    • rustls-libcrux

      Public
      Crypto provider for Rustls backed by libcrux
      Rust
      •0•1•0•0•Updated Nov 28, 2024Nov 28, 2024

    • sandwich

      Public
      Rust
      •
      GNU Affero General Public License v3.0
      •0•1•0•2•Updated Nov 28, 2024Nov 28, 2024

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •13k•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • rustls

      Public
      A modern TLS library in Rust
      Rust
      •
      Other
      •651•0•0•1•Updated Nov 26, 2024Nov 26, 2024

    • cryspen.github.io

      Public
      HTML
      •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

    • libcrux-iot

      Public
      An IoT friendly, formally verified, crypto library based on libcrux
      Rust
      •
      GNU Affero General Public License v3.0
      •1•1•20•1•Updated Nov 21, 2024Nov 21, 2024

    • boringssl

      Public
      Mirror of BoringSSL
      C++
      •
      Other
      •765•0•0•2•Updated Nov 15, 2024Nov 15, 2024

    • hacl-packages

      Public
      The Cryspen HACL Distribution
      hashingcryptographyencryptionaeaddigesthmachkdfsignaturesdecryptionformally-verified
      C
      •
      Other
      •18•16•60•5•Updated Nov 13, 2024Nov 13, 2024

    • scalable-mls-id

      Public
      F*
      •
      Other
      •0•0•1•0•Updated Oct 21, 2024Oct 21, 2024

    • pqm4

      Public
      Post-quantum crypto library for the ARM Cortex-M4
      C
      •75•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • mupq

      Public
      Provides common files for instances of mupq, e.g., for pqm4 and pqriscv
      C
      •23•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • linux

      Public
      Linux kernel stable tree mirror
      C
      •
      Other
      •525•0•0•0•Updated Sep 23, 2024Sep 23, 2024

    • atlas

      Public
      BMBF ATLAS project
      Rust
      •1•4•15•3•Updated Sep 12, 2024Sep 12, 2024

    • hpke-rs

      Public
      Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
      cryptographycryptoecdhhpkerust
      Rust
      •16•33•4•1•Updated Sep 5, 2024Sep 5, 2024

    • libxmtp

      Public
      Rust
      •
      MIT License
      •20•0•0•2•Updated Sep 3, 2024Sep 3, 2024

    • test-merge-queue-actions

      Public
      Rust
      •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024

    • .github

      Public
      0•0•0•0•Updated Aug 9, 2024Aug 9, 2024

    • actions

      Public
      GitHub Actions
      0•0•0•1•Updated Jul 11, 2024Jul 11, 2024

    • rust-core-spec

      Public
      Rust
      •0•0•0•0•Updated Jul 8, 2024Jul 8, 2024

    • nss

      Public
      Read only mirror of https://hg.mozilla.org/projects/nss
      C
      •
      Other
      •90•0•0•0•Updated Apr 28, 2024Apr 28, 2024

    • utils

      Public
      A mono repo for utilities that are used across different places
      Rust
      •0•0•0•0•Updated Jan 19, 2024Jan 19, 2024

    • FStar

      Public
      A Proof-oriented Programming Language
      F*
      •
      Apache License 2.0
      •233•0•0•0•Updated Jan 11, 2024Jan 11, 2024

    • hpke-spec

      Public
      Annotated HPKE specification in hacspec
      Rust
      •3•3•1•1•Updated Nov 30, 2023Nov 30, 2023

    • dfinity-lob

      Public
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Sep 25, 2023Sep 25, 2023

    • dfinity-mini-ledger

      Public
      A simple ICRC-1 Rust ledger
      Rust
      •1•0•0•0•Updated Aug 31, 2023Aug 31, 2023

    • blog

      Public
      Cryspen Blog
      HTML
      •0•0•0•0•Updated May 15, 2023May 15, 2023

    • hacl-star

      Public
      HACL*, a formally verified cryptographic library written in F*
      F*
      •
      Apache License 2.0
      •169•1•2•0•Updated Oct 18, 2022Oct 18, 2022

    • Concordium-Free-Open-Grants-Program

      Public archive
      Concordium Free & Open Grants Program aims to power innovative opensource applications in the Concordium Ecosystem.
      Apache License 2.0
      •21•0•0•0•Updated Sep 1, 2021Sep 1, 2021