Member of GitHub orgs
FStarLang, hacspec, berlin-crypto, CryspenShares crates with
raphaelrobert, denismerigoux, kkohbrok, W95Psp, quininer, jschneider-benschfranziskuskiefer created 65 crates
-
tls_codec_derive
280K Founded in Jun 2021. Last updated 2 months ago. -
tls_codec
279K Founded in Jun 2021. Last updated 2 months ago. -
libcrux-platform
10K Founded in Sep 2023. Updated 2 weeks ago. -
hpke-rs
20K Sole owner since Nov 2020. Last updated a year ago. -
hpke-rs-rust-crypto
20K Sole owner since Nov 2021. Last updated a year ago. -
hpke-rs-crypto
20K Sole owner since Nov 2021. Last updated a year ago. -
libcrux-blake2
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-psq
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-rsa
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-ecdsa
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-chacha20poly1305
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-poly1305
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-kem
1.0K Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-ml-kem
9.3K Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-sha3
9.5K Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-intrinsics
9.6K Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-hkdf
Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-hmac
Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-ed25519
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-ecdh
1.1K Founded in Jul 2024. Updated 2 weeks ago. -
libcrux-p256
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-sha2
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-traits
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-curve25519
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-hacl-rs
Founded in Feb 2025. Updated 2 weeks ago. -
libcrux-macros
Founded in Feb 2025. Updated 2 weeks ago. -
hax-lib
7.7K Founded in Jun 2024. Updated a month ago. -
hax-lib-macros
7.7K Founded in Jun 2024. Updated a month ago. -
cargo-hax
Founded in May 2023. Updated a month ago. -
hax-lib-macros-types
3.9K Founded in Jun 2024. Updated a month ago. -
hax-frontend-exporter
Founded in Oct 2023. Updated a month ago. -
hax-frontend-exporter-options
Founded in Oct 2023. Updated a month ago. -
hax-adt-into
Founded in Oct 2023. Updated a month ago. -
openmls_rust_crypto
2.0K Founded in Feb 2022. Last updated 7 months ago. -
openmls_traits
2.1K Founded in Feb 2022. Last updated 7 months ago. -
libcrux
1.2K Founded in Jan 2023. Last updated 8 months ago. -
libcrux-hacl
1.8K Founded in Sep 2023. Last updated 8 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.9K Sole owner since Jul 2024. Last updated 7 months ago. -
openmls_libcrux_crypto
Sole owner since Jul 2024. Last updated 7 months ago. -
openmls_memory_storage
2.1K Sole owner since Jul 2024. Last updated 7 months ago. -
libjade-sys
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 4 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.4K 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.4K 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
2.0K Member since Nov 2020 (4 years) -
secret_integers
1.0K Member since Jan 2021 (4 years) -
hacl
Maintainer since Jan 2023 (2 years) -
openmls_basic_credential
2.0K 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)