Lib.rs
›
Users
#
elliptic-curve
#
libcrux
#
smt-lib
keks
Jan Winkelmann
Joined crates-io 2 years ago. Joined GitHub 15 years ago.
GitHub
crates.io
Maintainer dashboard
Member of GitHub orgs
LeastAuthority
,
scuttlebutt-eu
Shares crates with
franziskuskiefer
keks created 5 crates
libcrux-secrets
3.9
K
Founded in May 2025. Updated 6 days ago.
smtlib-syntax
Sole owner since Feb 2024. Last updated a year ago.
unionize
Sole owner since Jun 2023. Last updated 2 years ago.
xs233
Sole owner since May 2023. Last updated 2 years ago.
xs233-sys
Sole owner since May 2023. Last updated 2 years ago.