Jan Winkelmann

nameJan Winkelmann
Crates.io:keks
GitHub user:keks
name repo

Crates

name update at owner repo count CI fmt
openmls_sqlite_storage 2025-09-25 16:28:56.595246+00 core repo 1740 GitHub Action fmt
libcrux-ml-dsa 2025-09-10 14:15:13.765909+00 Jan Winkelmann repo 4151 GitHub Action fmt
libcrux-secrets 2025-07-01 06:51:25.995859+00 Crates repo 4151 GitHub Action fmt
smtlib-syntax 2024-02-27 18:32:39.161134+00 Jan Winkelmann repo 2 NA fmt
unionize 2023-07-28 12:25:22.154398+00 Jan Winkelmann repo 54 NA fmt
xs233 2023-06-01 20:12:08.846894+00 Jan Winkelmann repo 4 NA fmt
xs233-sys 2023-06-01 20:06:39.754097+00 Jan Winkelmann repo 5 NA fmt