Updated 3 months ago
Updated 5 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 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 9 months ago
Updated 10 months ago
Updated 10 months ago
Updated 10 months ago
Updated 10 months ago
Tapir provides a framework for building Anonymous / metadata resistant Services
Updated 11 months ago
Updated 11 months ago
Updated 11 months ago
Updated 11 months ago
Updated 1 year ago
Updated 1 year ago