Skip to content

@cryspen Cryspen

All

    Repositories list

    41 repositories

    • hax

      Public
      A Rust verification tool
      rustformal-verification
      rustformal-verification
      Rust
      •
      Apache License 2.0
      •69•476•227•32•Updated Sep 9, 2026Sep 9, 2026

    • hax-lean

      Public
      Hax Lean library (automatically generated from cryspen/hax)
      Lean
      •
      Apache License 2.0
      •0•7•0•0•Updated Sep 9, 2026Sep 9, 2026

    • aeneas

      Public
      Staging area for PRs to AeneasVerif/aeneas
      OCaml
      •
      Apache License 2.0
      •106•1•13•18•Updated Sep 9, 2026Sep 9, 2026

    • charon

      Public
      Analyze Rust crates without touching compiler internals
      Rust
      •
      Apache License 2.0
      •61•0•0•2•Updated Sep 9, 2026Sep 9, 2026

    • bertie

      Public
      Bertie TLS 1.3 Implementation
      F*
      •
      Apache License 2.0
      •5•137•26•7•Updated Sep 8, 2026Sep 8, 2026

    • securedrop-protocol

      Public
      Research and proof of concept to develop the next SecureDrop with end to end encryption.
      F*
      •
      GNU Affero General Public License v3.0
      •6•0•0•5•Updated Sep 3, 2026Sep 3, 2026

    • formats

      Public
      Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX
      Rust
      •187•1•0•4•Updated Sep 2, 2026Sep 2, 2026

    • 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
      •23•1•0•4•Updated Sep 2, 2026Sep 2, 2026

    • longfellow-zk

      Public
      Implementation of the Google Zero-Knowledge library for Identity Protocols.
      C++
      •
      Apache License 2.0
      •123•0•0•1•Updated Aug 31, 2026Aug 31, 2026

    • openmls

      Public
      Rust implementation of the Messaging Layer Security (MLS) protocol
      Rust
      •
      MIT License
      •175•0•0•2•Updated Aug 23, 2026Aug 23, 2026

    • Plonky3

      Public
      A toolkit for polynomial IOPs (PIOPs)
      Rust
      •
      Apache License 2.0
      •455•0•0•0•Updated Aug 21, 2026Aug 21, 2026

    • cryspen.github.io

      Public
      HTML
      •0•1•0•0•Updated Aug 18, 2026Aug 18, 2026

    • rust-core-models

      Public archive
      Rust models for the Rust core library
      Lean
      •1•2•0•0•Updated Aug 17, 2026Aug 17, 2026

    • libcrux-proofs

      Public
      The formally verified crypto library for Rust
      C
      •
      Apache License 2.0
      •58•0•0•2•Updated Jul 24, 2026Jul 24, 2026

    • advisory-db

      Public
      Security advisory database for Rust crates published through crates.io
      Other
      •536•1•0•0•Updated May 13, 2026May 13, 2026

    • rosenpass

      Public
      Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
      Rust
      •
      Apache License 2.0
      •131•0•0•4•Updated Apr 23, 2026Apr 23, 2026

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •16k•0•0•2•Updated Apr 23, 2026Apr 23, 2026

    • rust-core-spec

      Public
      Rust
      •0•1•0•1•Updated Apr 23, 2026Apr 23, 2026

    • wycheproof

      Public
      Project Wycheproof tests crypto libraries against known attacks.
      Go
      •
      Apache License 2.0
      •333•0•0•1•Updated Mar 24, 2026Mar 24, 2026

    • rust-gcd

      Public
      Small Rust library for calculating greatest common divisor
      Rust
      •
      Apache License 2.0
      •11•0•0•0•Updated Jan 13, 2026Jan 13, 2026

    • boringssl

      Public
      Mirror of BoringSSL
      C++
      •
      Other
      •904•0•0•2•Updated Nov 26, 2025Nov 26, 2025

    • ci-test

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

    • mls-partial

      Public
      F*
      •
      Other
      •2•0•5•2•Updated Jul 30, 2025Jul 30, 2025

    • sandwich

      Public
      Rust
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Jun 30, 2025Jun 30, 2025

    • libxmtp

      Public
      Rust
      •
      MIT License
      •104•0•0•2•Updated May 29, 2025May 29, 2025

    • hacl-packages

      Public
      The Cryspen HACL Distribution
      hashingcryptographyencryption
      hashingcryptographyencryptionaeaddigesthmachkdfsignaturesdecryptionformally-verified
      C
      •
      Other
      •18•18•59•4•Updated Apr 20, 2025Apr 20, 2025

    • mupq

      Public
      Provides common files for instances of mupq, e.g., for pqm4 and pqriscv
      C
      •29•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

    • .github

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

    • actions

      Public
      GitHub Actions
      0•0•1•0•Updated Jan 27, 2025Jan 27, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.