Member of GitHub orgs
FStarLang, hacspec, berlin-crypto, CryspenShares crates with
denismerigoux, raphaelrobert, jschneider-bensch, kkohbrok, W95Psp, quininerfranziskuskiefer created 52 crates
-
tls_codec
125K Founded in Jun 2021. Last updated 4 months ago. -
tls_codec_derive
116K Founded in Jun 2021. Last updated 9 months ago. -
hpke-rs
18K Sole owner since Nov 2020. Last updated a year ago. -
hpke-rs-rust-crypto
18K Sole owner since Nov 2021. Last updated a year ago. -
hpke-rs-crypto
18K Sole owner since Nov 2021. Last updated a year ago. -
hax-lib
2.2K Founded in Jun 2024. Last updated a month ago. -
hax-lib-macros
2.2K Founded in Jun 2024. Last updated a month ago. -
cargo-hax
Founded in May 2023. Last updated a month ago. -
hax-lib-macros-types
2.3K Founded in Jun 2024. Last updated a month ago. -
hax-frontend-exporter
Founded in Oct 2023. Last updated a month ago. -
hax-frontend-exporter-options
Founded in Oct 2023. Last updated a month ago. -
hax-adt-into
Founded in Oct 2023. Last updated a month ago. -
libcrux-sha3
6.8K Founded in Jul 2024. Last updated 2 months ago. -
libcrux-intrinsics
6.8K Founded in Jul 2024. Last updated 2 months ago. -
libcrux-platform
8.2K Founded in Sep 2023. Last updated 2 months ago. -
openmls_rust_crypto
Founded in Feb 2022. Last updated 2 months ago. -
openmls_traits
Founded in Feb 2022. Last updated 2 months ago. -
libcrux
1.8K Founded in Jan 2023. Last updated 3 months ago. -
libcrux-kem
1.2K Founded in Jul 2024. Last updated 3 months ago. -
libcrux-hmac
Founded in Jul 2024. Last updated 3 months ago. -
libcrux-hkdf
Founded in Jul 2024. Last updated 3 months ago. -
libcrux-ecdh
1.2K Founded in Jul 2024. Last updated 3 months ago. -
libcrux-hacl
2.9K Founded in Sep 2023. Last updated 3 months ago. -
libcrux-ml-kem
6.6K Founded in Jul 2024. Last updated 3 months ago. -
openmls_memory_keystore
Founded in Feb 2022. Last updated a year ago. -
openmls_evercrypt
Founded in Feb 2022. Last updated a year ago. -
openmls_test
Sole owner since Jul 2024. Last updated 2 months ago. -
openmls_libcrux_crypto
Sole owner since Jul 2024. Last updated 2 months ago. -
openmls_memory_storage
Sole owner since Jul 2024. Last updated 2 months ago. -
libjade-sys
1.5K 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. -
hpke-rs-evercrypt
Sole owner since Nov 2021. Last updated 2 years ago. -
evercrypt
Sole owner since Sep 2020. Last updated 2 years ago. -
evercrypt-sys
Sole owner since Sep 2020. Last updated 2 years ago. -
hacspec
Founded in Jan 2019. Last updated 3 years ago. -
hacspec-attributes
Founded in Dec 2020. Last updated 3 years ago. -
hacspec-util
Founded in Dec 2020. Last updated 3 years ago. -
moz_cbor
1.2K Sole owner since Dec 2017. Last updated 3 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 6 years ago. -
cose
Sole owner since Sep 2017. Last updated 6 years ago.
Co-owns 8 crates
-
openmls
Member since Nov 2020 (4 years) -
secret_integers
Member since Jan 2021 (3 years) -
hacl
Maintainer since Jan 2023 (2 years) -
openmls_basic_credential
Member since Jun 2023 (a year) -
abstract_integers
Member since Jan 2021 (3 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)