Discover projects, groups and snippets. Share your projects with others
Cryptographic protocol analysis for real-world protocols. https://verifpal.com
Online engine for reasoning about the Noise Protocol Framework. https://noiseexplorer.com
Verifpal IDE for Visual Studio Code. https://marketplace.visualstudio.com/items?itemName=symbolicsoft.verifpal
Go implementation of the Kyber (version 2) post-quantum IND-CCA2 KEM
Piccolo is an AI that plays the Japanese Othello strategy game at a strong and competitive level. https://piccolo.click
Verifpal extension for Panic Software's Nova editor.