Popular repositories Loading

1. softspoken-implementation softspoken-implementation Public

   Implementation of SoftSpokenOT. Forked from libOTe.

   C++ 10 4

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. verify_srcu verify_srcu Public

   Formal verification of Sleepable Read-copy-update using CBMC

   C

6. RCUCPPbindings RCUCPPbindings Public

   Forked from paulmckrcu/RCUCPPbindings

   Paper and test code for C++ bindings/API for userspace RCU

   HTML