Repositories list

• libcrux

  Public
  The formally verified crypto library for Rust

  cryptographyencryptionsignatures+ 1

  cryptographyencryptionsignaturesformal-verification

  C

  •

  Apache License 2.0

  •6767 forks in celabshq/libcrux•272272 stars in celabshq/libcrux•104104 issues in celabshq/libcrux•2929 pull requests in celabshq/libcrux•Updated Nov 10, 2026Nov 10, 2026

• rc-formats

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

  Rust

  •199199 forks in celabshq/rc-formats•00 stars in celabshq/rc-formats•00 issues in celabshq/rc-formats•22 pull requests in celabshq/rc-formats•Updated Nov 10, 2026Nov 10, 2026

• celabs.github.io

  Public
  Website

  CSS

  •00 forks in celabshq/celabs.github.io•00 stars in celabshq/celabs.github.io•00 issues in celabshq/celabs.github.io•00 pull requests in celabshq/celabs.github.io•Updated Nov 9, 2026Nov 9, 2026

• benchmark-upload-and-plot-action

  Public
  GitHub Action for continuous benchmarking to keep performance

  TypeScript

  •

  MIT License

  •00 forks in celabshq/benchmark-upload-and-plot-action•00 stars in celabshq/benchmark-upload-and-plot-action•22 issues in celabshq/benchmark-upload-and-plot-action•44 pull requests in celabshq/benchmark-upload-and-plot-action•Updated Oct 29, 2026Oct 29, 2026

• advisory-db

  Public
  Security advisory database for Rust crates published through crates.io

  Other

  •604604 forks in celabshq/advisory-db•00 stars in celabshq/advisory-db•00 issues in celabshq/advisory-db•00 pull requests in celabshq/advisory-db•Updated Oct 7, 2026Oct 7, 2026

• ACVP-Server

  Public
  A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.

  C#

  •4040 forks in celabshq/ACVP-Server•00 stars in celabshq/ACVP-Server•00 issues in celabshq/ACVP-Server•00 pull requests in celabshq/ACVP-Server•Updated Sep 29, 2026Sep 29, 2026

• libcrux-iot

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

  C

  •

  GNU Affero General Public License v3.0

  •44 forks in celabshq/libcrux-iot•77 stars in celabshq/libcrux-iot•3030 issues in celabshq/libcrux-iot•99 pull requests in celabshq/libcrux-iot•Updated Sep 29, 2026Sep 29, 2026

• embedded-cal

  Public
  A Cryptographic Abstraction Layer (CAL) for embedded systems

  Rust

  •44 forks in celabshq/embedded-cal•00 stars in celabshq/embedded-cal•00 issues in celabshq/embedded-cal•11 pull request in celabshq/embedded-cal•Updated Sep 22, 2026Sep 22, 2026

• rustls-libcrux

  Public
  Crypto provider for Rustls backed by libcrux

  Rust

  •11 fork in celabshq/rustls-libcrux•55 stars in celabshq/rustls-libcrux•00 issues in celabshq/rustls-libcrux•00 pull requests in celabshq/rustls-libcrux•Updated Sep 9, 2026Sep 9, 2026

• assignments

  Public
  Rust

  •11 fork in celabshq/assignments•11 star in celabshq/assignments•00 issues in celabshq/assignments•00 pull requests in celabshq/assignments•Updated Aug 17, 2026Aug 17, 2026

• hpke-rs

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

  rustcryptographycrypto+ 2

  rustcryptographycryptoecdhhpke

  Rust

  •3232 forks in celabshq/hpke-rs•5454 stars in celabshq/hpke-rs•44 issues in celabshq/hpke-rs•33 pull requests in celabshq/hpke-rs•Updated Jul 21, 2026Jul 21, 2026

• duvet

  Public
  A requirements traceability tool

  Rust

  •

  Apache License 2.0

  •2525 forks in celabshq/duvet•00 stars in celabshq/duvet•00 issues in celabshq/duvet•00 pull requests in celabshq/duvet•Updated Jul 15, 2026Jul 15, 2026

• benchmark-data-extract-transform

  Public
  GitHub Action for continuous benchmarking to keep performance

  TypeScript

  •

  MIT License

  •00 forks in celabshq/benchmark-data-extract-transform•00 stars in celabshq/benchmark-data-extract-transform•00 issues in celabshq/benchmark-data-extract-transform•11 pull request in celabshq/benchmark-data-extract-transform•Updated Jul 8, 2026Jul 8, 2026

• rustls

  Public
  A modern TLS library in Rust

  Rust

  •

  Other

  •941941 forks in celabshq/rustls•00 stars in celabshq/rustls•00 issues in celabshq/rustls•22 pull requests in celabshq/rustls•Updated Jun 22, 2026Jun 22, 2026

• atlas

  Public
  BMBF ATLAS project

  Rust

  •

  Other

  •22 forks in celabshq/atlas•55 stars in celabshq/atlas•55 issues in celabshq/atlas•33 pull requests in celabshq/atlas•Updated Dec 16, 2025Dec 16, 2025

• benchmark-comment-and-plot-action

  Public
  TypeScript

  •

  MIT License

  •00 forks in celabshq/benchmark-comment-and-plot-action•00 stars in celabshq/benchmark-comment-and-plot-action•00 issues in celabshq/benchmark-comment-and-plot-action•00 pull requests in celabshq/benchmark-comment-and-plot-action•Updated Aug 21, 2025Aug 21, 2025

• pqm4

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

  C

  •129129 forks in celabshq/pqm4•00 stars in celabshq/pqm4•00 issues in celabshq/pqm4•00 pull requests in celabshq/pqm4•Updated Jun 2, 2025Jun 2, 2025

• libcrux-benchmarks

  Public
  00 forks in celabshq/libcrux-benchmarks•00 stars in celabshq/libcrux-benchmarks•00 issues in celabshq/libcrux-benchmarks•00 pull requests in celabshq/libcrux-benchmarks•Updated May 7, 2025May 7, 2025

• hpke-spec

  Public
  Annotated HPKE specification in hacspec

  Rust

  •33 forks in celabshq/hpke-spec•33 stars in celabshq/hpke-spec•11 issue in celabshq/hpke-spec•11 pull request in celabshq/hpke-spec•Updated Nov 30, 2023Nov 30, 2023