Noise Explorer is an online engine for reasoning about Noise Protocol Framework Handshake Patterns. - View it on GitHub