Symbolic Software

All

8 repositories

verifpal
Public
Cryptographic protocol analysis for real-world protocols.
cryptography formal-methods formal-verification protocol-verification protocol-analysis symbolic-protocol-analysis cryptographic-protocols
Go
•
GNU General Public License v3.0
•8•71•3•0•Updated Feb 15, 2026Feb 15, 2026
folder.zone
Public
Share end-to-end encrypted folders live
JavaScript
•
GNU Affero General Public License v3.0
•8•85•1•1•Updated Dec 30, 2025Dec 30, 2025
kyber-k2so
Public
Go implementation of ML-KEM.
go kyber ml-kem ml-kem-512 ml-kem-768 ml-kem-1024 fips-203
Go
•
MIT License
•16•126•0•0•Updated Dec 21, 2025Dec 21, 2025
noiseexplorer
Public
Online engine for reasoning about the Noise Protocol Framework.
cryptography formal-methods formal-verification protocol-verification protocol-analysis symbolic-protocol-analysis cryptographic-protocols
Rust
•
GNU General Public License v3.0
•6•19•1•0•Updated Nov 15, 2024Nov 15, 2024
verifpal-vscode
Public
Verifpal for Visual Studio Code
visual-studio-code
TypeScript
•1•2•0•0•Updated Aug 19, 2023Aug 19, 2023
verifpal-nova
Public
Verifpal extension for Panic Software's Nova editor.
nova-editor
GNU General Public License v3.0
•0•0•0•0•Updated Aug 19, 2023Aug 19, 2023
duckyzip
Public
Provably Honest Global Linking Service
smart-contracts privacy-enhancing-technologies verifiable-random-function
Go
•
GNU General Public License v3.0
•2•4•0•0•Updated Jul 17, 2023Jul 17, 2023
chacha20-poly1305-aead
Public
A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.
Rust
•
Apache License 2.0
•7•1•0•0•Updated Dec 19, 2017Dec 19, 2017