Open Privacy Gitea

Updated 3 months ago

Updated 5 months 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 8 months ago

Updated 9 months ago

Formal Verification of Anti-Cheating Protocols in Cryptoeconomic Systems

Updated 9 months ago

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

Updated 9 months ago

The server component to the Lockbox app.

Updated 9 months ago

Updated 10 months ago

Tapir provides a framework for building Anonymous / metadata resistant Services

Updated 11 months ago

Updated 1 year ago