Log in
Sign up
Sign up for Zulip
hacspec
https://hacspec.zulipchat.com
A specification language for cryptography primitives and more.
https://hacspec.org/
You need an invitation to join this organization.
Email
Sign up
OR
Sign up with Google
Sign up with GitHub
Sign up with GitLab
Already have an account?
Log in