Pinned Loading

1. skip-the-small-talk skip-the-small-talk Public

   Skip the small talk, ask these interesting questions to strangers instead

   HTML

2. the-joy-of-easycrypt the-joy-of-easycrypt Public

   Formal Verification companion material to The Joy of Cryptography textbook by Mike Rosulek

   eC 1

3. vocab-notify vocab-notify Public

   Passively build your vocabulary using Ubuntu's notifications

   Python