Jan Winkelmann

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

Crates

name update at owner repo count CI fmt
libcrux-ml-dsa 2026-01-22 13:35:30.636848+00 Crates repo 4813 GitHub Action fmt
libcrux-secrets 2026-01-22 13:30:17.500353+00 Crates repo 4813 GitHub Action fmt
openmls_sqlite_storage 2025-09-26 15:08:40.028945+00 core repo 1740 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