PinnedLoading

1. symbolicsoft/verifpalsymbolicsoft/verifpalPublic

   Cryptographic protocol analysis for real-world protocols.

   Go 47 4

2. symbolicsoft/noiseexplorersymbolicsoft/noiseexplorerPublic

   Online engine for reasoning about the Noise Protocol Framework.

   Rust 13 6

3. symbolicsoft/kyber-k2sosymbolicsoft/kyber-k2soPublic

   Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.

   Go 105 15

4. binkyboxbinkyboxPublic

   Keyboard shortcuts for virtual desktops on Windows 11

   Rust 42 3