Formal Verification of Anti-Cheating Protocols in Cryptoeconomic Systems

Updated 8 months ago

The server component to the Lockbox app.

Updated 10 months ago

Updated 9 months ago

Updated 1 year ago

Updated 1 year ago

A fork of cretz/bine

Updated 11 months ago

Updated 1 year ago

A simple tool to apply a fixed format to our QML files (since we don't use QT Creator we don't get it's autostyling)

Updated 1 year ago

Listing of docker images available in the Open Privacy Docker registry

Updated 11 months ago

Updated 1 year ago

Open Privacy's Awesome Qt-based User Experience Library

Updated 10 months ago

Host a submission form on an untrusted or shared host by using public-key encryption!

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

Takes a spreadsheet from Patreon and some mailing label sizing parameters and outputs a print-ready PDF of mailing labels.

Updated 2 years ago

QML 0 0

this is the main cwtch gui with the pretty interface

Updated 2 years ago

Official cwtch.im peer and server implementations.

Updated 2 years ago