Ecosyste.ms: Awesome

Projects in Awesome Lists by symbolicsoft

A curated list of projects in awesome lists by symbolicsoft .

• Sort

  • Recently synced
  • Stars

https://github.com/symbolicsoft/enclave

Command-line secure encrypted deniable cloud-synchronized notebook

encrypted-notebook

Last synced: 06 Nov 2024

https://github.com/SymbolicSoft/noiseexplorer

Online engine for reasoning about the Noise Protocol Framework.

cryptographic-protocols cryptography formal-methods formal-verification protocol-analysis protocol-verification symbolic-protocol-analysis

Last synced: 07 Nov 2024