Member of GitHub orgs
FStarLang, hacspec, berlin-crypto, CryspenShares crates with
keks, denismerigoux, kkohbrok, raphaelrobert, jschneider-bensch, W95Psp, maximebuyse, quininerfranziskuskiefer created 68 crates
-
tls_codec
843K Founded in Jun 2021. Last updated 8 months ago. -
tls_codec_derive
843K Founded in Jun 2021. Last updated 8 months ago. -
hax-lib
58K Founded in Jun 2024. Last updated a month ago. -
hax-lib-macros
58K Founded in Jun 2024. Last updated a month ago. -
hax-lib-macros-types
27K Founded in Jun 2024. Last updated a month ago. -
libcrux-chacha20poly1305
20K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-poly1305
20K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-kem
20K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-ml-kem
46K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-sha3
‼️ 52K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-intrinsics
‼️ 52K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-hkdf
25K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-hmac
25K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-ed25519
‼️ 10K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-ecdh
20K Founded in Jul 2024. Last updated 4 months ago. -
libcrux-p256
21K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-sha2
26K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-traits
25K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-curve25519
20K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-hacl-rs
27K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-macros
27K Founded in Feb 2025. Last updated 4 months ago. -
libcrux-platform
49K Founded in Sep 2023. Last updated 7 months ago. -
hpke-rs
28K Sole owner since Nov 2020. Last updated 4 months ago. -
hpke-rs-rust-crypto
‼️ 23K Sole owner since Nov 2021. Last updated 4 months ago. -
hpke-rs-libcrux
20K Sole owner since May 2025. Last updated 4 months ago. -
hpke-rs-crypto
28K Sole owner since Nov 2021. Last updated 4 months ago. -
core-models
20K Sole owner since Jun 2025. Last updated 4 months ago. -
cargo-hax
‼️ Founded in May 2023. 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. -
openmls_test
Founded in Jul 2024. Last updated a month ago. -
openmls_rust_crypto
3.3K Founded in Feb 2022. Last updated a month ago. -
openmls_libcrux_crypto
Founded in Jul 2024. Last updated a month ago. -
openmls_memory_storage
3.3K Founded in Jul 2024. Last updated a month ago. -
openmls_traits
3.5K Founded in Feb 2022. Last updated a month ago. -
libcrux-blake2
Founded in Feb 2025. Last updated 4 months ago. -
libcrux-psq
Founded in Feb 2025. Last updated 4 months ago. -
libcrux-rsa
Founded in Feb 2025. Last updated 4 months ago. -
libcrux-ecdsa
Founded in Feb 2025. Last updated 4 months ago. -
libcrux
1.5K Founded in Jan 2023. Last updated a year ago. -
libcrux-hacl
1.7K Founded in Sep 2023. Last updated a year ago. -
openmls_memory_keystore
Founded in Feb 2022. Last updated 2 years ago. -
openmls_evercrypt
Founded in Feb 2022. Last updated 2 years ago. -
libcrux-test-utils
Sole owner since Jul 2025. Last updated 4 months ago. -
libjade-sys
1.5K Sole owner since Mar 2023. Last updated 2 years ago. -
hax-subcommands
Sole owner since Oct 2023. Last updated 2 years ago. -
hax-cli-options-engine
Sole owner since Oct 2023. Last updated 2 years ago. -
hax-diagnostics
Sole owner since Oct 2023. Last updated 2 years ago. -
hax-cli-options
Sole owner since Oct 2023. Last updated 2 years 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. -
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. -
libhacs
Sole owner since Oct 2022. Last updated 3 years ago. -
crytikal
Sole owner since Oct 2022. Last updated 3 years ago. -
crykit
Sole owner since Oct 2022. Last updated 3 years ago. -
hacs
Sole owner since Oct 2022. Last updated 3 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.8K Sole owner since Dec 2017. Last updated 4 years ago. -
mls
Sole owner since Jun 2020. Last updated 5 years ago. -
wrapping_arithmetic
Sole owner since Oct 2019. Last updated 6 years ago. -
cose-c
1.7K 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
3.4K Member since Nov 2020 (4 years) -
secret_integers
Member since Jan 2021 (4 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) -
hacl
‼️ Maintainer since Jan 2023 (2 years)