Repositories list

• hax

  Public
  A Rust verification tool

  rustformal-verification

  OCaml

  •

  Apache License 2.0

  •38•292•194•15•Updated Sep 19, 2025Sep 19, 2025

• libcrux

  Public
  The formally verified crypto library for Rust

  cryptographyencryptionsignatures+ 1formal-verification

  C

  •

  Apache License 2.0

  •25•158•65•18•Updated Sep 19, 2025Sep 19, 2025

• boringssl

  Public
  Mirror of BoringSSL

  C++

  •

  Other

  •837•0•0•2•Updated Sep 12, 2025Sep 12, 2025

• verify-rust-std

  Public
  Verifying the Rust standard library

  Rust

  •

  Other

  •14k•0•0•1•Updated Sep 10, 2025Sep 10, 2025

• formats

  Public
  Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX

  Rust

  •166•0•0•0•Updated Sep 4, 2025Sep 4, 2025

• ci-test

  Public
  0•0•0•3•Updated Aug 21, 2025Aug 21, 2025

• benchmark-comment-and-plot-action

  Public
  TypeScript

  •

  MIT License

  •0•0•0•0•Updated Aug 21, 2025Aug 21, 2025

• libcrux-iot

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

  Rust

  •

  GNU Affero General Public License v3.0

  •1•3•27•4•Updated Aug 18, 2025Aug 18, 2025

• cryspen.github.io

  Public
  HTML

  •0•1•0•0•Updated Aug 11, 2025Aug 11, 2025

• rosenpass

  Public
  Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.

  Rust

  •

  Apache License 2.0

  •101•0•0•2•Updated Aug 6, 2025Aug 6, 2025

• mls-partial

  Public
  F*

  •

  Other

  •2•0•5•2•Updated Jul 30, 2025Jul 30, 2025

• atlas

  Public
  BMBF ATLAS project

  Rust

  •

  Apache License 2.0

  •1•5•5•3•Updated Jul 25, 2025Jul 25, 2025

• hpke-rs

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

  cryptographycryptoecdh+ 2hpkerust

  Rust

  •19•40•4•1•Updated Jul 9, 2025Jul 9, 2025

• sandwich

  Public
  Rust

  •

  GNU Affero General Public License v3.0

  •0•1•0•0•Updated Jun 30, 2025Jun 30, 2025

• bertie

  Public
  Bertie TLS 1.3 Implementation

  F*

  •

  Apache License 2.0

  •4•125•29•5•Updated Jun 3, 2025Jun 3, 2025

• pqm4

  Public
  Post-quantum crypto library for the ARM Cortex-M4

  C

  •90•0•0•0•Updated Jun 2, 2025Jun 2, 2025

• libxmtp

  Public
  Rust

  •

  MIT License

  •70•0•0•2•Updated May 29, 2025May 29, 2025

• benchmark-upload-and-plot-action

  Public
  GitHub Action for continuous benchmarking to keep performance

  TypeScript

  •

  MIT License

  •0•0•2•1•Updated May 28, 2025May 28, 2025

• benchmark-data-extract-transform

  Public
  GitHub Action for continuous benchmarking to keep performance

  TypeScript

  •

  MIT License

  •0•0•0•0•Updated May 26, 2025May 26, 2025

• libcrux-benchmarks

  Public
  0•0•0•0•Updated May 7, 2025May 7, 2025

• SparsePostQuantumRatchet

  Public
  Provides SPQR, a chunked post-quantum ratchet usable in parallel with DH ratchets for the libsignal protocol.

  F*

  •

  GNU Affero General Public License v3.0

  •4•0•0•0•Updated May 1, 2025May 1, 2025

• hacl-packages

  Public
  The Cryspen HACL Distribution

  hashingcryptographyencryption+ 7aeaddigesthmachkdfsignaturesdecryptionformally-verified

  C

  •

  Other

  •19•19•59•4•Updated Apr 20, 2025Apr 20, 2025

• mupq

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

  C

  •26•0•0•0•Updated Apr 8, 2025Apr 8, 2025

• model-nursery

  Public
  Models of Code

  0•0•0•0•Updated Feb 19, 2025Feb 19, 2025

• rustls

  Public
  A modern TLS library in Rust

  Rust

  •

  Other

  •747•0•0•2•Updated Feb 3, 2025Feb 3, 2025

• .github

  Public
  0•0•0•0•Updated Jan 28, 2025Jan 28, 2025

• actions

  Public
  GitHub Actions

  0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

• rustls-libcrux

  Public
  Crypto provider for Rustls backed by libcrux

  Rust

  •0•1•1•0•Updated Dec 18, 2024Dec 18, 2024

• linux

  Public
  Linux kernel stable tree mirror

  C

  •

  Other

  •614•0•0•0•Updated Sep 23, 2024Sep 23, 2024

• test-merge-queue-actions

  Public
  Rust

  •0•0•0•0•Updated Aug 22, 2024Aug 22, 2024