This is a Tamarin model of TLS 1.3

🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production

⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡

Find interesting and potentially hazardous commits in git projects

Firefly III: a personal finances manager

Project Wycheproof tests crypto libraries against known attacks.

These are the few of my favourite things