Skip to content
Change the repository type filter

All

    Repositories list

    • sandwich

      Public
      Rust
      GNU Affero General Public License v3.0
      0102Updated Dec 24, 2024Dec 24, 2024
    • libcrux

      Public
      The formally verified crypto library for Rust
      C
      Apache License 2.0
      1693554Updated Dec 24, 2024Dec 24, 2024
    • The Cryspen HACL Distribution
      C
      Other
      1816605Updated Dec 23, 2024Dec 23, 2024
    • HTML
      0000Updated Dec 19, 2024Dec 19, 2024
    • bertie

      Public
      Bertie TLS 1.3 Implementation
      F*
      Apache License 2.0
      2113270Updated Dec 18, 2024Dec 18, 2024
    • Crypto provider for Rustls backed by libcrux
      Rust
      0110Updated Dec 18, 2024Dec 18, 2024
    • Verifying the Rust standard library
      Rust
      Other
      13k000Updated Dec 10, 2024Dec 10, 2024
    • rustls

      Public
      A modern TLS library in Rust
      Rust
      Other
      660001Updated Nov 26, 2024Nov 26, 2024
    • An IoT friendly, formally verified, crypto library based on libcrux
      Rust
      GNU Affero General Public License v3.0
      11201Updated Nov 21, 2024Nov 21, 2024
    • boringssl

      Public
      Mirror of BoringSSL
      C++
      Other
      775002Updated Nov 15, 2024Nov 15, 2024
    • F*
      Other
      0010Updated Oct 21, 2024Oct 21, 2024
    • pqm4

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

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

      Public
      Linux kernel stable tree mirror
      C
      Other
      529000Updated Sep 23, 2024Sep 23, 2024
    • atlas

      Public
      BMBF ATLAS project
      Rust
      14153Updated Sep 12, 2024Sep 12, 2024
    • hpke-rs

      Public
      Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
      Rust
      163341Updated Sep 5, 2024Sep 5, 2024
    • libxmtp

      Public
      Rust
      MIT License
      23002Updated Sep 3, 2024Sep 3, 2024
    • Rust
      0000Updated Aug 22, 2024Aug 22, 2024
    • .github

      Public
      0000Updated Aug 9, 2024Aug 9, 2024
    • actions

      Public
      GitHub Actions
      0001Updated Jul 11, 2024Jul 11, 2024
    • Rust
      0000Updated Jul 8, 2024Jul 8, 2024
    • nss

      Public
      C
      Other
      90000Updated Apr 28, 2024Apr 28, 2024
    • utils

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

      Public
      A Proof-oriented Programming Language
      F*
      Apache License 2.0
      234000Updated Jan 11, 2024Jan 11, 2024
    • hpke-spec

      Public
      Annotated HPKE specification in hacspec
      Rust
      3311Updated Nov 30, 2023Nov 30, 2023
    • Rust
      Apache License 2.0
      1000Updated Sep 25, 2023Sep 25, 2023
    • A simple ICRC-1 Rust ledger
      Rust
      1000Updated Aug 31, 2023Aug 31, 2023
    • blog

      Public
      Cryspen Blog
      HTML
      0000Updated May 15, 2023May 15, 2023
    • hacl-star

      Public
      HACL*, a formally verified cryptographic library written in F*
      F*
      Apache License 2.0
      170120Updated Oct 18, 2022Oct 18, 2022
    • Concordium Free & Open Grants Program aims to power innovative opensource applications in the Concordium Ecosystem.
      Apache License 2.0
      21000Updated Sep 1, 2021Sep 1, 2021