Geeks
cryspen
/
libcrux
The formally verified crypto library for Rust
Primary Language
C
Apache License 2.0
Apache-2.0
libcrux Home Page
libcrux GitHub
Markdown
Readme
190
Issues
78
Stargazers
10
Watchers
Watchers
alext-w
Intel
brycx
Denmark
dconnolly
SandboxAQ
eemailme
franziskuskiefer
@Cryspen
jhcloos
karthikbhargavan
keks
@cryspen
ozf
Software Square, Byte Town, Logicstate, Computronia
protz
Paris