Member of GitHub orgs
FStarLang, hacspec, berlin-crypto, CryspenShares crates with
raphaelrobert, denismerigoux, kkohbrok, jschneider-bensch, quininer, W95Pspfranziskuskiefer created 65 crates
-
tls_codec_derive
234K Founded in Jun 2021. Last updated a month ago. -
tls_codec
232K Founded in Jun 2021. Last updated a month ago. -
hpke-rs
32K Sole owner since Nov 2020. Last updated a year ago. -
hpke-rs-rust-crypto
32K Sole owner since Nov 2021. Last updated a year ago. -
hpke-rs-crypto
32K Sole owner since Nov 2021. Last updated a year ago. -
hax-lib
3.6K Founded in Jun 2024. Updated 2 weeks ago. -
hax-lib-macros
3.5K Founded in Jun 2024. Updated 2 weeks ago. -
cargo-hax
Founded in May 2023. Updated 2 weeks ago. -
hax-lib-macros-types
2.6K Founded in Jun 2024. Updated 2 weeks ago. -
hax-frontend-exporter
Founded in Oct 2023. Updated 2 weeks ago. -
hax-frontend-exporter-options
Founded in Oct 2023. Updated 2 weeks ago. -
hax-adt-into
Founded in Oct 2023. Updated 2 weeks ago. -
libcrux-psq
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-rsa
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-kem
1.0K Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-ecdh
1.0K Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-ed25519
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-ecdsa
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-p256
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-chacha20poly1305
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-poly1305
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-platform
7.8K Founded in Sep 2023. Updated 3 weeks ago. -
libcrux-hkdf
Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-hmac
Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-ml-kem
6.5K Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-sha3
6.7K Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-intrinsics
6.7K Founded in Jul 2024. Updated 3 weeks ago. -
libcrux-sha2
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-traits
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-curve25519
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-blake2
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-hacl-rs
Founded in Feb 2025. Updated 3 weeks ago. -
libcrux-macros
Founded in Feb 2025. Updated 3 weeks ago. -
openmls_rust_crypto
1.4K Founded in Feb 2022. Last updated 6 months ago. -
openmls_traits
1.4K Founded in Feb 2022. Last updated 6 months ago. -
libcrux
1.6K Founded in Jan 2023. Last updated 7 months ago. -
libcrux-hacl
2.3K Founded in Sep 2023. Last updated 7 months ago. -
openmls_memory_keystore
Founded in Feb 2022. Last updated 2 years ago. -
openmls_evercrypt
Founded in Feb 2022. Last updated 2 years ago. -
openmls_test
1.3K Sole owner since Jul 2024. Last updated 6 months ago. -
openmls_libcrux_crypto
Sole owner since Jul 2024. Last updated 6 months ago. -
openmls_memory_storage
1.4K Sole owner since Jul 2024. Last updated 6 months ago. -
libjade-sys
1.2K Sole owner since Mar 2023. Last updated a year ago. -
hax-subcommands
Sole owner since Oct 2023. Last updated a year ago. -
hax-cli-options-engine
Sole owner since Oct 2023. Last updated a year ago. -
hax-diagnostics
Sole owner since Oct 2023. Last updated a year ago. -
hax-cli-options
Sole owner since Oct 2023. Last updated a year ago. -
cargo-hacs
Sole owner since May 2023. Last updated 2 years ago. -
libjade
Sole owner since Mar 2023. Last updated 2 years ago. -
hacspec-lib
Sole owner since Mar 2023. Last updated 2 years ago. -
libhacs
Sole owner since Oct 2022. Last updated 2 years ago. -
crytikal
Sole owner since Oct 2022. Last updated 2 years ago. -
crykit
Sole owner since Oct 2022. Last updated 2 years ago. -
hacs
Sole owner since Oct 2022. Last updated 2 years ago. -
hacspec
Founded in Jan 2019. Last updated 3 years ago. -
hacspec-attributes
Founded in Dec 2020. Last updated 4 years ago. -
hacspec-util
Founded in Dec 2020. Last updated 4 years ago. -
hpke-rs-evercrypt
Sole owner since Nov 2021. Last updated 3 years ago. -
evercrypt
Sole owner since Sep 2020. Last updated 3 years ago. -
evercrypt-sys
Sole owner since Sep 2020. Last updated 3 years ago. -
moz_cbor
1.2K Sole owner since Dec 2017. Last updated 4 years ago. -
mls
Sole owner since Jun 2020. Last updated 4 years ago. -
wrapping_arithmetic
Sole owner since Oct 2019. Last updated 5 years ago. -
cose-c
1.2K Sole owner since Nov 2017. Last updated 7 years ago. -
cose
Sole owner since Sep 2017. Last updated 7 years ago.
Co-owns 8 crates
-
openmls
1.4K Member since Nov 2020 (4 years) -
secret_integers
Member since Jan 2021 (4 years) -
hacl
Maintainer since Jan 2023 (2 years) -
openmls_basic_credential
1.4K Member since Jun 2023 (2 years) -
abstract_integers
Member since Jan 2021 (4 years) -
hacl-star
Member since Nov 2021 (3 years) -
hacl-sys
Maintainer since Jan 2023 (2 years) -
hacl-star-sys
Member since Nov 2021 (3 years)