GitHub org成员
FStarLang, hacspec, berlin-crypto, Cryspen与以下用户共享包
denismerigoux, raphaelrobert, kkohbrok, jschneider-bensch, quininerfranziskuskiefer创建了52个包
-
tls_codec
82K 创建于2021年6月。3周前更新。 -
tls_codec_derive
72K 创建于2021年6月。6个月前更新。 -
hpke-rs
10K 自2020年11月为唯一所有者。8个月前更新。 -
openmls_rust_crypto
创建于2022年2月。2周前更新。 -
openmls_traits
创建于2022年2月。2周前更新。 -
libcrux
1.0K 创建于2023年1月。3周前更新。 -
libcrux-kem
创建于2024年7月。3周前更新。 -
libcrux-hmac
创建于2024年7月。3周前更新。 -
libcrux-hkdf
创建于2024年7月。3周前更新。 -
libcrux-ecdh
创建于2024年7月。3周前更新。 -
libcrux-hacl
1.1K 创建于2023年9月。3周前更新。 -
libcrux-ml-kem
创建于2024年7月。3周前更新。 -
libcrux-sha3
创建于2024年7月。3周前更新。 -
libcrux-platform
1.2K 创建于2023年9月。3周前更新。 -
libcrux-intrinsics
创建于2024年7月。3周前更新。 -
hax-lib
创建于2024年6月。2个月前更新。 -
hax-lib-macros
创建于2024年6月。2个月前更新。 -
hax-lib-macros-types
创建于2024年6月。2个月前更新。 -
openmls_memory_keystore
创建于2022年2月。一年前更新。 -
openmls_evercrypt
创建于2022年2月。一年前更新。 -
openmls_test
自2024年7月为唯一所有者。2周前更新。 -
openmls_libcrux_crypto
自2024年7月为唯一所有者。2周前更新。 -
openmls_memory_storage
自2024年7月为唯一所有者。2周前更新。 -
hpke-rs-rust-crypto
9.9K 自2021年11月为唯一所有者。8个月前更新。 -
hpke-rs-crypto
9.9K 自2021年11月为唯一所有者。8个月前更新。 -
libjade-sys
自2023年3月为唯一所有者。8个月前更新。 -
hax-subcommands
自2023年10月为唯一所有者。9个月前更新。 -
hax-cli-options-engine
自2023年10月为唯一所有者。9个月前更新。 -
hax-diagnostics
自2023年10月为唯一所有者。9个月前更新。 -
hax-cli-options
自2023年10月为唯一所有者。9个月前更新。 -
hax-frontend-exporter
自2023年10月为唯一所有者。9个月前更新。 -
hax-adt-into
自2023年10月为唯一所有者。9个月前更新。 -
hax-frontend-exporter-options
自2023年10月为唯一所有者。9个月前更新。 -
cargo-hax
自2023年5月为唯一所有者。一年前更新。 -
cargo-hacs
自2023年5月为唯一所有者。一年前更新。 -
libjade
自2023年3月为唯一所有者。一年前更新。 -
hacspec-lib
自2023年3月为唯一所有者。一年前更新。 -
libhacs
自2022年10月为唯一所有者。2年前更新。 -
crytikal
自2022年10月为唯一所有者。2年前更新。 -
crykit
自2022年10月为唯一所有者。2年前更新。 -
hacs
自2022年10月为唯一所有者。2年前更新。 -
hpke-rs-evercrypt
自2021年11月为唯一所有者。2年前更新。 -
evercrypt
自2020年9月为唯一所有者。2年前更新。 -
evercrypt-sys
自2020年9月为唯一所有者。2年前更新。 -
hacspec
创建于2019年1月。3年前更新。 -
hacspec-attributes
创建于2020年12月。3年前更新。 -
hacspec-util
创建于2020年12月。3年前更新。 -
moz_cbor
2.2K 自2017年12月为唯一所有者。3年前更新。 -
mls
自2020年6月为唯一所有者。4年前更新。 -
wrapping_arithmetic
自2019年10月为唯一所有者。4年前更新。 -
cose-c
2.2K 自2017年11月起为唯一所有者。最后更新6年前。 -
some
自2017年9月起为唯一所有者。最后更新6年前。