Member of GitHub orgs
FStarLang, hacspec, berlin-crypto, CryspenShares crates with
denismerigoux, raphaelrobert, kkohbrok, quininer, jschneider-benschfranziskuskiefer created 42 crates
-
tls_codec
68K Founded in Jun 2021. Updated a week ago. -
tls_codec_derive
65K Founded in Jun 2021. Last updated 6 months ago. -
openmls_rust_crypto
Founded in Feb 2022. Updated 2 days ago. -
openmls_traits
Founded in Feb 2022. Updated 2 days ago. -
libcrux-platform
1.0K Founded in Sep 2023. Updated 3 days ago. -
hax-lib
Founded in Jun 2024. Last updated a month ago. -
hax-lib-macros
Founded in Jun 2024. Last updated a month ago. -
hax-lib-macros-types
Founded in Jun 2024. Last updated a month ago. -
openmls_memory_keystore
Founded in Feb 2022. Last updated a year ago. -
openmls_evercrypt
Founded in Feb 2022. Last updated a year ago. -
libcrux
Sole owner since Jan 2023. Updated 3 days ago. -
libcrux-hacl
Sole owner since Sep 2023. Updated 3 days ago. -
hpke-rs
8.9K Sole owner since Nov 2020. Last updated 7 months ago. -
hpke-rs-rust-crypto
8.9K Sole owner since Nov 2021. Last updated 7 months ago. -
hpke-rs-crypto
8.9K Sole owner since Nov 2021. Last updated 7 months ago. -
libjade-sys
Sole owner since Mar 2023. Last updated 7 months ago. -
hax-subcommands
Sole owner since Oct 2023. Last updated 9 months ago. -
hax-cli-options-engine
Sole owner since Oct 2023. Last updated 9 months ago. -
hax-diagnostics
Sole owner since Oct 2023. Last updated 9 months ago. -
hax-cli-options
Sole owner since Oct 2023. Last updated 9 months ago. -
hax-frontend-exporter
Sole owner since Oct 2023. Last updated 9 months ago. -
hax-adt-into
Sole owner since Oct 2023. Last updated 9 months ago. -
hax-frontend-exporter-options
Sole owner since Oct 2023. Last updated 9 months ago. -
cargo-hax
Sole owner since May 2023. Last updated a year ago. -
cargo-hacs
Sole owner since May 2023. Last updated a year ago. -
libjade
Sole owner since Mar 2023. Last updated a year ago. -
hacspec-lib
Sole owner since Mar 2023. Last updated a year 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
2.0K 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 4 years ago. -
cose-c
2.0K 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 (3 years) -
secret_integers
Member since Jan 2021 (3 years) -
hacl
Maintainer since Jan 2023 (2 years) -
abstract_integers
Member since Jan 2021 (3 years) -
openmls_basic_credential
Member since Jun 2023 (a year) -
hacl-sys
Maintainer since Jan 2023 (2 years) -
hacl-star
Member since Nov 2021 (2 years) -
hacl-star-sys
Member since Nov 2021 (2 years)