Franziskus Kiefer

nameFranziskus Kiefer
Crates.io:franziskuskiefer
GitHub user:franziskuskiefer
name repo

Crates

name update at owner repo count CI fmt
libcrux-psq 2026-01-22 13:36:16.043403+00 Crates repo 4813 GitHub Action fmt
libcrux-kem 2026-01-22 13:35:51.287062+00 Crates repo 4813 GitHub Action fmt
libcrux-ml-kem 2026-01-22 13:35:05.430589+00 Franziskus Kiefer repo 4813 GitHub Action fmt
libcrux-ecdh 2026-01-22 13:34:35.804899+00 Crates repo 4813 GitHub Action fmt
libcrux-curve25519 2026-01-22 13:34:07.074336+00 Crates repo 4813 GitHub Action fmt
libcrux-p256 2026-01-22 13:33:48.827829+00 Crates repo 4813 GitHub Action fmt
libcrux-chacha20poly1305 2026-01-22 13:33:07.365942+00 Crates repo 4813 GitHub Action fmt
libcrux-ed25519 2026-01-22 13:32:50.194716+00 Crates repo 4813 GitHub Action fmt
libcrux-hkdf 2026-01-22 13:32:27.8859+00 Franziskus Kiefer repo 4813 GitHub Action fmt
libcrux-hmac 2026-01-22 13:32:08.392413+00 Crates repo 4813 GitHub Action fmt
libcrux-sha3 2026-01-22 13:31:47.25341+00 Franziskus Kiefer repo 4813 GitHub Action fmt
libcrux-sha2 2026-01-22 13:31:27.023525+00 Crates repo 4813 GitHub Action fmt
libcrux-traits 2026-01-22 13:30:42.982458+00 Crates repo 4813 GitHub Action fmt
libcrux-intrinsics 2026-01-22 13:29:58.163982+00 Franziskus Kiefer repo 4813 GitHub Action fmt
core-models 2026-01-22 13:28:48.205038+00 Crates repo 4813 GitHub Action fmt
cargo-hax 2026-01-15 10:34:08.844351+00 tools repo 4635 GitHub Action fmt
hax-lib 2026-01-15 10:31:27.870956+00 tools repo 4635 GitHub Action fmt
hax-lib-macros 2026-01-15 10:31:13.746246+00 tools repo 4635 GitHub Action fmt
hax-lib-macros-types 2026-01-15 10:27:12.560619+00 tools repo 4635 GitHub Action fmt
hax-frontend-exporter 2026-01-15 10:27:05.123651+00 tools repo 4635 GitHub Action fmt
hax-frontend-exporter-options 2026-01-15 10:26:35.385151+00 tools repo 4635 GitHub Action fmt
hax-adt-into 2026-01-15 10:26:26.309691+00 tools repo 4635 GitHub Action fmt
libcrux-platform 2026-01-12 17:21:04.713663+00 Crates repo 4813 GitHub Action fmt
hpke-rs 2025-12-17 13:54:02.050354+00 Franziskus Kiefer repo 271 GitHub Action fmt
hpke-rs-rust-crypto 2025-12-17 13:53:58.4366+00 Franziskus Kiefer repo 271 GitHub Action fmt
hpke-rs-libcrux 2025-12-17 13:53:57.817306+00 Franziskus Kiefer repo 271 GitHub Action fmt
hpke-rs-crypto 2025-12-17 13:53:54.83752+00 Franziskus Kiefer repo 271 GitHub Action fmt
libcrux-ecdsa 2025-11-05 14:34:23.44158+00 Crates repo 4813 GitHub Action fmt
libcrux-rsa 2025-11-05 14:33:10.150116+00 Crates repo 4813 GitHub Action fmt
libcrux-blake2 2025-11-05 14:31:10.708102+00 Crates repo 4813 GitHub Action fmt
libcrux-poly1305 2025-11-05 14:30:38.37788+00 Crates repo 4813 GitHub Action fmt
libcrux-hacl-rs 2025-11-05 14:30:05.745255+00 Crates repo 4813 GitHub Action fmt
openmls 2025-09-26 15:08:53.223748+00 Konrad Kohbrok repo 1740 GitHub Action fmt
openmls_test 2025-09-26 15:08:49.834093+00 core repo 1740 GitHub Action fmt
openmls_rust_crypto 2025-09-26 15:08:46.038201+00 core repo 1740 GitHub Action fmt
openmls_libcrux_crypto 2025-09-26 15:08:45.42481+00 core repo 1740 GitHub Action fmt
openmls_memory_storage 2025-09-26 15:08:39.261947+00 core repo 1740 GitHub Action fmt
openmls_basic_credential 2025-09-26 15:08:38.78811+00 Franziskus Kiefer repo 1740 GitHub Action fmt
openmls_traits 2025-09-26 15:08:33.250828+00 core repo 1740 GitHub Action fmt
libcrux-test-utils 2025-07-01 06:53:15.723596+00 Franziskus Kiefer repo 4813 GitHub Action fmt
libcrux-macros 2025-06-30 18:30:57.5605+00 Crates repo 4813 GitHub Action fmt
tls_codec 2025-02-10 07:26:17.04759+00 formats repo 1682 GitHub Action fmt
tls_codec_derive 2025-02-10 07:25:58.254205+00 formats repo 1682 GitHub Action fmt
libcrux 2024-07-23 09:02:49.003494+00 Crates repo 4813 GitHub Action fmt
libcrux-hacl 2024-07-23 08:54:41.529643+00 Crates repo 4813 GitHub Action fmt
libjade-sys 2023-12-01 15:55:09.61177+00 Franziskus Kiefer repo 4813 GitHub Action fmt
hax-subcommands 2023-10-23 14:56:56.581213+00 Franziskus Kiefer repo 4635 GitHub Action fmt
hax-cli-options-engine 2023-10-23 14:49:21.253314+00 Franziskus Kiefer repo 4635 GitHub Action fmt
hax-diagnostics 2023-10-23 12:29:24.70476+00 Franziskus Kiefer repo 4635 GitHub Action fmt
hax-cli-options 2023-10-23 12:26:11.211122+00 Franziskus Kiefer repo 4635 GitHub Action fmt
openmls_memory_keystore 2023-07-20 05:48:44.667414+00 core repo 1740 GitHub Action fmt
hacl 2023-07-13 08:17:16.673759+00 Franziskus Kiefer repo 532 GitHub Action fmt
hacl-sys 2023-07-13 08:16:45.661063+00 Franziskus Kiefer repo 532 GitHub Action fmt
openmls_evercrypt 2023-05-31 15:17:41.846645+00 core repo 1740 GitHub Action fmt
cargo-hacs 2023-05-09 07:35:47.086041+00 Franziskus Kiefer NA NA NA fmt
libjade 2023-03-20 12:40:14.895692+00 Franziskus Kiefer NA NA NA fmt
hacspec-lib 2023-03-20 11:59:44.313313+00 Franziskus Kiefer repo 1416 GitHub Action fmt
abstract_integers 2023-03-20 11:58:24.807572+00 Franziskus Kiefer repo 1416 GitHub Action fmt
secret_integers 2023-03-20 11:57:39.899339+00 Franziskus Kiefer repo 1416 GitHub Action fmt
libhacs 2022-10-19 09:32:39.417928+00 Franziskus Kiefer NA NA NA fmt
crytikal 2022-10-19 09:31:30.960894+00 Franziskus Kiefer NA NA NA fmt
crykit 2022-10-19 09:30:47.3377+00 Franziskus Kiefer NA NA NA fmt
hacs 2022-10-19 09:29:36.865041+00 Franziskus Kiefer NA NA NA fmt
hpke-rs-evercrypt 2022-02-24 15:45:22.853254+00 Franziskus Kiefer repo 271 GitHub Action fmt
evercrypt 2022-02-24 15:41:40.001419+00 Franziskus Kiefer repo 184 GitHub Action fmt
evercrypt-sys 2022-02-24 15:40:54.10458+00 Franziskus Kiefer repo 184 GitHub Action fmt
hacspec 2021-03-22 08:40:08.961363+00 Denis Merigoux repo 1416 GitHub Action fmt
hacspec-attributes 2020-12-29 19:29:24.01915+00 Denis Merigoux repo 1416 GitHub Action fmt
hacspec-util 2020-12-27 12:08:28.77334+00 Franziskus Kiefer repo 1416 GitHub Action fmt
moz_cbor 2020-12-09 14:29:12.547418+00 Franziskus Kiefer repo NA NA fmt
mls 2020-06-26 13:53:31.653708+00 Franziskus Kiefer repo NA NA fmt
wrapping_arithmetic 2019-10-17 14:52:03.849715+00 Franziskus Kiefer repo NA NA fmt
hacl-star 2019-05-25 09:59:23.762361+00 Franziskus Kiefer repo NA NA fmt
hacl-star-sys 2019-05-25 09:58:45.014741+00 Franziskus Kiefer repo NA NA fmt
cose-c 2018-01-05 13:46:29.570182+00 Franziskus Kiefer repo NA NA fmt
cose 2018-01-05 13:46:00.705072+00 Franziskus Kiefer repo NA NA fmt