Popular repositories Loading

1. softspoken-implementation softspoken-implementation Public

   Implementation of SoftSpokenOT. Forked from libOTe.

   C++ 10 5

2. gollum-dark-theme gollum-dark-theme Public

   A Dark theme for Gollum wiki

   CSS 5 4

3. slack-backup-python slack-backup-python Public

   Forked from ganesh-4212/slack-backup-python

   Exporting slack channels, conversation using Web API

   Python 1 1

4. softspoken-implementation-cryptotools softspoken-implementation-cryptotools Public

   cryptoTools fork for SoftSpokenOT implementation.

   C++ 1 3

5. schnorr-pcf-rust schnorr-pcf-rust Public

   Implementation of https://ia.cr/2023/216

   Rust 1

6. verify_srcu verify_srcu Public

   Formal verification of Sleepable Read-copy-update using CBMC

   C