Symbolic Software

Symbolic Software's repositories

Command-line secure encrypted deniable cloud-synchronized notebook

Language:GoGPL-2.0109 5 5

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

Language:GoMIT90 6 3

Cryptographic protocol analysis for real-world protocols.

Language:GoGPL-3.032 4 3

Online engine for reasoning about the Noise Protocol Framework.

Language:RustGPL-3.06 3 2

Provably Honest Global Linking Service

Language:GoGPL-3.02 30

Verifpal for Visual Studio Code

Language:TypeScript2 40

A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.

Language:RustApache-2.0020

Verifpal extension for Panic Software's Nova editor.

GPL-3.0030