Sign up for Zulip

hax

https://hacspec.zulipchat.com

High assurance translations for Rust
And a specification language for cryptography primitives.

You need an invitation to join this organization.