Symbolic Software's repositories
kyber-k2so
Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.
noiseexplorer
Online engine for reasoning about the Noise Protocol Framework.
verifpal-vscode
Verifpal for Visual Studio Code
chacha20-poly1305-aead
A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.
verifpal-nova
Verifpal extension for Panic Software's Nova editor.